References

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

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org