Semantical analysis of weak Kleene logics

Journal of Applied Non-Classical Logics 29 (1):1-36 (2019)
  Copy   BIBTEX


This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set

Similar books and articles

Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Semantical Investigations on Some Weak Modal Logics. Part II.Andrzej Pietruszczak - 2012 - Bulletin of the Section of Logic 41 (3/4):109-130.
Paraconsistent Quantum Logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.
Supervaluation Fixed-Point Logics of Truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.


Added to PP

234 (#51,321)

6 months
73 (#10,955)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Massimiliano Carrara
University of Padua

References found in this work

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
In Contradiction: A Study of the Transconsistent.Graham Priest - 1987 - Dordrecht, Netherland: Oxford University Press.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.

View all 67 references / Add more references