@article(Aqvist, author = {\r A{}qvist, Lennart}, year = {1962}, title = {Reflections on the logic of nonsense}, journal = {Theoria}, volume = {28}, number = {2}, pages = {138--157}, doi = {10.1111/j.1755-2567.1962.tb00316.x}, ) @article(Baldi, author = {Michele Pra Baldi}, year = {2020}, title = {Logics of variable inclusion and the lattice of consequence relations}, journal = {Journal of Applied Non-Classical Logics}, volume = {30}, number = {4}, pages = {367--381}, doi = {10.1080/11663081.2020.1835330}, ) @article(Belikov, author = {Alex Belikov}, year = {2022}, title = {On bivalent semantics and natural deduction for some infectious logics}, journal = {Logic Journal of the IGPL}, volume = {30}, number = {186--210}, pages = {367--381}, doi = {10.1093/jigpal/jzaa071}, ) @article(BelikovPetrukhin, author = {Alex Belikov and Yaroslav Petrukhin}, year = {2020}, title = {Exactly true and non falsity logics meeting infectious ones}, journal = {Journal of Applied Non-classical logics}, volume = {30}, number = {2}, pages = {93--122}, doi = {10.1080/11663081.2020.1751573}, ) @article(Bochvar, author = {Dmitry Anatolevich Bochvar}, year = {1981}, title = {On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus ({E}nglish translation of {B}ochvar's paper of 1938)}, journal = {History and Philosophy of Logic}, volume = {2}, pages = {87--112}, doi = {10.1080/01445348108837023}, ) @article(Bonzioetla, author = {Stefano Bonzio and Gil-F\'{e}rez, Jos\'{e} and Francesco Paoli and Luisa Peruzzi}, year = {2017}, title = {On paraconsistent weak {K}leene logic: Axiomatisation and algebraic analysis}, journal = {Studia Logica}, volume = {105}, number = {2}, pages = {253--297}, doi = {10.1007/s11225-016-9689-5}, ) @article(CiuniSzmucFerguson19, author = {Roberto Ciuni and Thomas Macaulay Ferguson and Damian Enrique Szmuc}, year = {2018}, title = {Logics based on linear orders of contaminating values}, journal = {Journal of Logic and Computation}, volume = {25}, number = {5}, pages = {631--663}, doi = {10.1093/logcom/exz009}, ) @article(CiuniSzmucFerguson, author = {Roberto Ciuni and Damian Enrique Szmuc and Thomas Macaulay Ferguson}, year = {2018}, title = {Relevant Logics Obeying Component Homogeneity}, journal = {Australasian Journal of Logic}, volume = {15}, number = {2}, pages = {301--361}, doi = {10.26686/ajl.v15i2.4864}, ) @inproceedings(ConiglioCorbalan, author = {Marcelo Esteban Coniglio and Maria Ines Corbal\'{a}n}, year = {2012}, title = {Sequent calculi for the classical fragment of Bochvar and Halld\'{e}n's nonsense logics}, booktitle = {Proceedings of the SeventhWorkshop on Logical and Semantic Frameworks with Applications}, publisher = {Kluwer Academic Publishers}, pages = {125--136}, doi = {10.4204/EPTCS.113.12}, ) @article(Deutsch77, author = {Harry Deutsch}, year = {1977}, title = {Relevant analytic entailment}, journal = {The Relevance Logic Newsletter}, volume = {2}, number = {1}, pages = {26--44}, ) @article(Dunn, author = {Jon Michael Dunn}, year = {1976}, title = {Intuitive semantics for first-degree entailment and coupled trees}, journal = {Philosophical Studies}, volume = {29}, number = {3}, pages = {149--168}, doi = {10.1007/BF00373152}, ) @article(Ebbinghaus, author = {Heinz-Dieter Ebbinghaus}, year = {1969}, title = {\"{U}ber eine Pr\"{a}dikatenlogik mit partiell definierten Pr\"{a}dikaten und Funktionens}, journal = {Archiv f\"{u}r mathematische Logik und Grundlagenforschung}, volume = {12}, number = {1--2}, pages = {39--53}, doi = {10.1007/BF01982047}, ) @article(Ferguson15, author = {Thomas Macaulay Ferguson}, year = {2015}, title = {Logics of Nonsense and Parry Systems}, journal = {Journal of Philosophical Logic}, volume = {44}, number = {1}, pages = {65--80}, doi = {10.1007/s10992-014-9321-y}, ) @article(FinnGrigolia, author = {Victor Konstantinovich Finn and Revaz Grigolia}, year = {1993}, title = {Nonsense logics and their algebraic properties}, journal = {Theoria}, volume = {59}, number = {1--3}, pages = {207--273}, doi = {10.1111/j.1755-2567.1993.tb00871.x}, ) @article(Fitting94, author = {Melvin Fitting}, year = {1994}, title = {Kleene's Three Valued Logics and Their Children}, journal = {Fundamenta informaticae}, volume = {20}, number = {1}, pages = {113--131}, doi = {10.3233/FI-1994-201234}, ) @article(Fjellstad, author = {Andreas Fjellstad}, year = {2020}, title = {Structural proof theory for first-order weak Kleene logics}, journal = {Journal of Applied Non-Classical Logics}, volume = {30}, number = {3}, pages = {272--289}, doi = {10.1080/11663081.2020.1782593}, ) @article(Halkowska, author = {Ha\l{}kowska, Katarzyna}, year = {1989}, title = {A note on matrices for systems of nonsense-logic}, journal = {Studia Logica}, volume = {48}, pages = {461--464}, doi = {10.1007/BF00370200}, ) @book(Hallden, author = {S\"{o}ren Halld\'{e}n}, year = {1949}, title = {The Logic of Nonsense}, publisher = {Lundequista Bokhandeln, Uppsala}, doi = {10.2307/2216826}, ) @article(McCarthy, author = {JohnMcCarthy}, year = {1963}, title = {A basis for a mathematical theory of computation}, journal = {Studies in Logic and the Foundations of Mathematics}, volume = {35}, pages = {33--70}, doi = {10.1016/S0049-237X(08)72018-4}, ) @inproceedings(Belnap1, author = {Nuel D. Belnap Jr.}, year = {1977}, title = {A useful four-valued logic}, booktitle = {Modern Uses of Multiple-Valued Logic}, publisher = {Kluwer Academic Publishers}, pages = {7--37}, doi = {10.1007/978-94-010-1161-7_2}, ) @article(Kleene38, author = {Stephen Cole Kleene}, year = {1938}, title = {On a notation for ordinal numbers}, journal = {Journal of Symbolic Logic}, volume = {3}, pages = {150--155}, doi = {10.2307/2267778}, ) @article(Komendantskaya, author = {Ekaterina Y. Komendantskaya}, year = {2009}, title = {Functional expressibility of regular {K}leene's logics (in {R}ussian)}, journal = {Logical Investigations}, volume = {15}, pages = {116--128}, doi = {10.21146/2074-1472-2009-15-0-116-128}, ) @article(KooiTamminga, author = {Barteld Kooi and Allard Tamminga}, year = {2012}, title = {Completeness via correspondence for extensions of the logic of paradox}, journal = {The Review of Symbolic Logic}, volume = {5}, number = {4}, pages = {720--730}, doi = {10.1017/S1755020312000196}, ) @article(KurbisPetrukhin, author = {Nils K\"{u}rbis and Yaroslav Petrukhin}, year = {2021}, title = {Normalisation for Some Quite Interesting Many-Valued Logics}, journal = {Logic and Logical Philosophy}, volume = {30}, number = {3}, pages = {493--534}, doi = {10.12775/LLP.2021.009}, ) @book(StructuralProofTheory, author = {Sara Negri and Jan von Plato}, year = {2001}, title = {Structural Proof Theory}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511527340}, ) @article(Oller, author = {Carlos A. Oller}, year = {1999}, title = {Paraconsistency and analyticity}, journal = {Logic and Logical Philosophy}, volume = {7}, pages = {91--99}, doi = {10.12775/LLP.1999.008}, ) @article(Petrukhin3, author = {Yaroslav Petrukhin}, year = {2017}, title = {Natural deduction for three-valued regular logics}, journal = {Logic and Logical Philosophy}, volume = {26}, number = {2}, pages = {197--206}, doi = {10.12775/LLP.2016.025}, ) @article(Petrukhin4, author = {Yaroslav Petrukhin}, year = {2018}, title = {Natural Deduction for Four-Valued both Regular and Monotonic Logics}, journal = {Logic and Logical Philosophy}, volume = {27}, number = {1}, pages = {53--66}, doi = {10.12775/LLP.2017.001}, ) @article(Petrukhin, author = {Yaroslav I. Petrukhin}, year = {2017}, title = {Natural deduction for {F}itting's four-valued generalizations of {K}leene's logics}, journal = {Logica Universalis}, volume = {11}, number = {4}, pages = {525--532}, doi = {10.1007/s11787-017-0169-0}, ) @inproceedings(Priest02, author = {Graham Priest}, year = {2002}, title = {Paraconsistent logic}, booktitle = {Handbook of philosophical logic}, volume = {2}, publisher = {Kluwer Academic Publishers}, pages = {287--393}, doi = {10.1007/978-94-017-0460-1_4}, ) @article(DaReetla, author = {Bruno Da R\'{e} and Federico Pailos and Damian Enrique Szmuc}, year = {2020}, title = {Theories of truth based on four-valued infectious logics}, journal = {Logic Journal of the IGPL}, volume = {28}, number = {5}, pages = {712--746}, doi = {10.1093/jigpal/jzy057}, ) @article(Szmuc, author = {Damian Enrique Szmuc}, year = {2017}, title = {Defining LFIs and LFUs in extensions of infectious logics}, journal = {Journal of Applied Non-Classical Logics}, volume = {26}, number = {4}, pages = {286--314}, doi = {10.1080/11663081.2017.1290488}, ) @article(Szmuc19, author = {Damian Enrique Szmuc}, year = {2019}, title = {An epistemic interpretation of paraconsistent weak Kleene logic}, journal = {Logic and Logical Philosophy}, volume = {28}, number = {2}, pages = {277--330}, doi = {10.12775/LLP.2019.014}, ) @article(Szmuc21, author = {Damian Enrique Szmuc}, year = {2021}, title = {A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication}, journal = {Studia Logica}, volume = {109}, number = {4}, pages = {791--828}, doi = {10.1007/s11225-020-09926-x}, )