Title :
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
Author :
Avron, Arnon ; Konikowska, Beata ; Zamansky, Anna
Author_Institution :
Sch. of Comput. Sci., Tel Aviv Univ., Tel Aviv, Israel
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.
Keywords :
inference mechanisms; multivalued logic; cut-free sequent calculi; logics of formal consistency; modular construction; modular generation; nondeterministic logic semantics; paraconsistent logics; paraconsistent reasoning automatization; systematic generation; Computer science; Cost accounting; Educational institutions; Knowledge based systems; Semantics; Standards; Systematics; Multivalued logic; Nondeterministic semantics; Paraconsistent logic; Proof theory;
Conference_Titel :
Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on
Conference_Location :
Dubrovnik
Print_ISBN :
978-1-4673-2263-8
DOI :
10.1109/LICS.2012.20