@article{5a6e4f405c7e46e8b5ecc366dc249193,
title = "Taming paraconsistent (and other) logics: An algorithmic approach",
abstract = "We develop a fully algorithmic approach to {"}taming{"} logics expressed Hilbert style, that is, reformulating them in terms of analytic sequent calculi and useful semantics. Our approach applies to Hilbert calculi extending the positive fragment of propositional classical logic with axioms of a certain general form that contain new unary connectives. Our work encompasses various results already obtained for specific logics. It can be applied to new logics, as well as to known logics for which an analytic calculus or a useful semantics has so far not been available. A Prolog implementation of the method is described.",
keywords = "Nonclassical logics, Nondeterministic matrices, Paraconsistent logics, Proof theory, Sequent calculus",
author = "Agata Ciabattoni and Ori Lahav and Lara Spendier and Anna Zamansky",
note = "Publisher Copyright: {\textcopyright} 2014 ACM.",
year = "2014",
month = dec,
day = "29",
doi = "10.1145/2661636",
language = "אנגלית",
volume = "16",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery (ACM)",
number = "1",
}