Abstract | ||
---|---|---|
This paper makes a substantial step towards automatization of Para consistent reasoning by providing a general method for a systematic and modular generation of cut-free calculi for thousands of Para consistent logics known as Logics of Formal (In)consistency. The method relies on the use of non-deterministic semantics for these logics. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/LICS.2012.20 | LICS |
Keywords | Field | DocType |
substantial step,non-deterministic semantics,modular construction,cut-free sequent calculi,paraconsistent logics,modular generation,cut-free calculus,general method,para consistent logic,para consistent reasoning,systematics,paraconsistent logic,semantics,proof theory,computer science,cost accounting,knowledge based systems | Principle of explosion,Discrete mathematics,T-norm fuzzy logics,Kripke semantics,Computer science,Sequent,Monoidal t-norm logic,Non-monotonic logic,Classical logic,Relevance logic | Conference |
ISSN | Citations | PageRank |
1043-6871 | 9 | 0.68 |
References | Authors | |
11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnon Avron | 1 | 1292 | 147.65 |
Beata Konikowska | 2 | 222 | 22.99 |
Anna Zamansky | 3 | 245 | 43.38 |