@inproceedings{811a9ac5d3c74aba9f7e74efd9bd9f6b,

title = "Modular construction of cut-free sequent calculi for paraconsistent logics",

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 = "Multivalued logic, Nondeterministic semantics, Paraconsistent logic, Proof theory",

author = "Arnon Avron and Beata Konikowska and Anna Zamansky",

year = "2012",

doi = "10.1109/LICS.2012.20",

language = "English",

isbn = "9780769547695",

series = "Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012",

pages = "85--94",

booktitle = "Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012",

note = "2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 ; Conference date: 25-06-2012 Through 28-06-2012",

}