@inproceedings(arieli1994,
 author       = {O. {Arieli} and A. {Avron}},
 year         = {1994},
 title        = {Logical Bilattices and Inconsistent Data},
 booktitle    = {Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science},
 pages        = {468--476},
 doi          = {10.1109/LICS.1994.316044},
)
@inbook(arieli2000,
 author       = {O. {Arieli} and A. {Avron}},
 year         = {2000},
 title        = {Bilattices and Paraconsistency},
 pages        = {11--28},
 publisher    = {Research Studies Press},
)
@article(arieli1996,
 author       = {Ofer Arieli and Arnon Avron},
 year         = {1996},
 title        = {Reasoning with Logical Bilattices},
 journal      = {Journal of Logic, Language and Information},
 volume       = {5},
 pages        = {25--63},
 doi          = {10.1007/BF00215626},
)
@article(arieli1998,
 author       = {Ofer Arieli and Arnon Avron},
 year         = {1998},
 title        = {The Value of the Four Values},
 journal      = {Artificial Intelligence},
 volume       = {102},
 number       = {1},
 pages        = {97--141},
 doi          = {10.1016/S0004-3702(98)00032-0},
)
@article(arieli2003,
 author       = {Ofer Arieli and Marc Denecker},
 year         = {2003},
 title        = {Reducing Preferential Paraconsistent Reasoning to Classical Entailment},
 journal      = {Journal of Logic and Computation},
 volume       = {13},
 number       = {4},
 pages        = {557--580},
 doi          = {10.1093/logcom/13.4.557},
)
@article(avron1991,
 author       = {Arnon Avron},
 year         = {1991},
 title        = {Natural 3-Valued Logics--{C}haracterization and Proof Theory},
 journal      = {Journal of Symbolic Logic},
 volume       = {56},
 number       = {1},
 pages        = {276--294},
 doi          = {10.2307/2274919},
)
@article(avron1999,
 author       = {Arnon Avron},
 year         = {1999},
 title        = {On The Expressive Power of Three-Valued and Four-Valued Languages},
 journal      = {Journal of Logic and Computation},
 volume       = {9},
 pages        = {977--994},
 doi          = {10.1093/logcom/9.6.977},
)
@incollection(Avron02,
 author       = {Arnon Avron},
 year         = {2003},
 title        = {Classical {G}entzen-Type Methods in Propositional Many-Valued Logics},
 editor       = {Melvin Fitting and Or{\l}owska, Ewa},
 booktitle    = {Beyond Two: Theory and Applications in Multiple-Valued Logics},
 publisher    = {Springer},
 pages        = {117--155},
 doi          = {10.1007/978-3-7908-1769-0_5},
)
@incollection(belnap1977b,
 author       = {Nuel D. Belnap},
 year         = {1977},
 title        = {How a Computer Should Think},
 booktitle    = {Contemporary Aspects of Philosophy},
 publisher    = {Oriel Press},
 pages        = {30--55},
)
@incollection(belnap1977a,
 author       = {Nuel D. Belnap},
 year         = {1977},
 title        = {A Useful Four-Valued Logic},
 editor       = {{J. Michael} Dunn and George Epstein},
 booktitle    = {Modern Uses of Multiple-Valued Logic},
 series       = {Episteme},
 volume       = {2},
 publisher    = {Springer},
 pages        = {5--37},
 doi          = {10.1007/978-94-010-1161-7\_2},
)
@incollection(besnardSTW05,
 author       = {Philippe Besnard and Torsten Schaub and Hans Tompits and Stefan Woltran},
 year         = {2005},
 title        = {Representing Paraconsistent Reasoning via Quantified Propositional Logic},
 editor       = {Leopoldo E. Bertossi and Anthony Hunter and Torsten Schaub},
 booktitle    = {Inconsistency Tolerance},
 series       = {Lecture Notes in Computer Science},
 volume       = {3300},
 publisher    = {Springer},
 pages        = {84--118},
 doi          = {10.1007/978-3-540-30597-2\_4},
)
@article(BeyersdorffMTV12,
 author       = {Olaf Beyersdorff and Arne Meier and Michael Thomas and Heribert Vollmer},
 year         = {2012},
 title        = {The Complexity of Reasoning for Fragments of Default Logic},
 journal      = {Journal of Logic and Computation},
 volume       = {22},
 number       = {3},
 pages        = {587--604},
 doi          = {10.1093/ logcom/exq061},
)
@article(beziau99,
 author       = {Jean-Yves B\'eziau},
 year         = {1999},
 title        = {A Sequent Calculus for {\L}ukasiewicz's Three-Valued Logic Based on {S}uszko's Bivalent Semantics},
 journal      = {Bulletin of the Section of Logic},
 volume       = {28},
 number       = {2},
 pages        = {89--97},
)
@incollection(bogo-tompits20,
 author       = {Mihail Bogojeski and Hans Tompits},
 year         = {2020},
 title        = {On Sequent-Type Rejection Calculi for Many-Valued Logics},
 editor       = {Mariusz Urba\'{n}ski and Tomasz Skura and {\L}upkowski, Pawe{\l}},
 booktitle    = {Reasoning: Games, Cognition, Logic},
 publisher    = {College Publications},
 pages        = {193--207},
 doi          = {10.1007/978-3-030-20528-7_13},
)
@article(bonatti2002,
 author       = {Piero A. Bonatti and Nicola Olivetti},
 year         = {2002},
 title        = {Sequent Calculi for Propositional Nonmonotonic Logics},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {3},
 number       = {2},
 pages        = {226--278},
 doi          = {10.1145/505372.505374},
)
@article(egly01,
 author       = {Uwe Egly and Hans Tompits},
 year         = {2001},
 title        = {Proof-Complexity Results for Nonmonotonic Reasoning},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {2},
 number       = {3},
 pages        = {340--387},
 doi          = {10.1145/377978.377987},
)
@inproceedings(fitting1989,
 author       = {Melvin Fitting},
 year         = {1989},
 title        = {Negation as Refutation},
 booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {\em(}LICS '89{\em)}},
 publisher    = {IEEE Computer Society},
 pages        = {63--70},
 doi          = {10.1109/LICS.1989.39159},
)
@inproceedings(fitting1990,
 author       = {Melvin Fitting},
 year         = {1990},
 title        = {Bilattices in Logic Programming},
 booktitle    = {Proceedings of the Twentieth International Symposium on Multiple-Valued Logic {\em(}ISMVL 1990{\em)}},
 pages        = {238--246},
 doi          = {10.1109/ISMVL.1990.122627},
)
@article(gentzen1935,
 author       = {Gerhard Gentzen},
 year         = {1935},
 title        = {Untersuchungen \"uber das logische {S}chlie\ss en. {I}},
 journal      = {Mathematische Zeit\-schrift},
 volume       = {39},
 pages        = {176--210},
 doi          = {10.1007/BF01201353},
)
@article(ginsberg1988,
 author       = {Matthew L. Ginsberg},
 year         = {1988},
 title        = {Multivalued logics: {A} Uniform Approach to Reasoning in Artificial Intelligence},
 journal      = {Computational Intelligence},
 volume       = {4},
 number       = {3},
 pages        = {265--316},
 doi          = {10.1111/j.1467-8640.1988.tb00280.x},
)
@article(lukas39,
 author       = {{\L{}}ukasiewicz, Jan},
 year         = {1939},
 title        = {O sylogistyce {A}rystotelesa},
 journal      = {Sprawozdania z Czynno\'{s}ci i Posiedze\'{n} Polskiej Akademii Umiej\textpolhook{e}tno\'{s}ci},
 volume       = {44},
 doi          = {10.2307/2267863},
)
@article(McCarthy:1980,
 author       = {John McCarthy},
 year         = {1980},
 title        = {Circumscription -- {A} Form of Non-Monotonic Reasoning},
 journal      = {Artificial Intelligence},
 volume       = {13},
 number       = {1--2},
 pages        = {27--39},
 doi          = {10.1016/0004-3702(80)90011-9},
)
@article(moore-85,
 author       = {Robert C. Moore},
 year         = {1985},
 title        = {Semantical Considerations on Nonmonotonic Logic},
 journal      = {Artificial Intelligence},
 volume       = {25},
 number       = {1},
 pages        = {75--94},
 doi          = {10.1016/0004-3702(85)90042-6},
)
@article(priest1979,
 author       = {Graham Priest},
 year         = {1979},
 title        = {The Logic of Paradox},
 journal      = {Journal of Philosophical Logic},
 volume       = {8},
 number       = {1},
 pages        = {219--241},
 doi          = {10.1007/BF00258428},
)
@article(priest1991,
 author       = {Graham Priest},
 year         = {1991},
 title        = {Minimally Inconsistent {LP}},
 journal      = {Studia Logica},
 volume       = {50},
 number       = {2},
 pages        = {321--331},
 doi          = {10.1007/ BF00370190},
)
@article(reiter,
 author       = {Raymond Reiter},
 year         = {1980},
 title        = {A Logic for Default Reasoning},
 journal      = {Artificial Intelligence},
 volume       = {13},
 number       = {1--2},
 pages        = {81--132},
 doi          = {10.1016/0004-3702(80)90014-4},
)
@article(rousseau1967,
 author       = {George Sebastian Rousseau},
 year         = {1967},
 title        = {Sequents in Many Valued Logic {I}},
 journal      = {Fundamenta Mathematicae},
 volume       = {60},
 pages        = {23--33},
 doi          = {10.4064/fm-67-1-125-131},
)
@mastersthesis(zach1993,
 author       = {Richard Zach},
 year         = {1993},
 title        = {Proof Theory of Finite-Valued Logics},
 school       = {Technische Universit\IeC{\"a}t Wien, Institut f\IeC{\"u}r Computersprachen},
)