Semantical analysis of weak Kleene logics

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

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2018.1547514

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Kleene's logic, generalized.Melvin Fitting - unknown
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Kleene's three valued logics and their children.Melvin Fitting - unknown
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.
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
On the algebraic structure of linear, relevance, and fuzzy logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
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.

Analytics

Added to PP
2019-01-09

Downloads
791 (#19,479)

6 months
248 (#9,946)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Massimiliano Carrara
University of Padua

Citations of this work

Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.
Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.

View all 15 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.

View all 68 references / Add more references