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

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.

Analytics

Added to PP
2019-01-09

Downloads
670 (#21,471)

6 months
211 (#9,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Massimiliano Carrara
University of Padua

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.
Pure Variable Inclusion Logics.Francesco Paoli, Michele Pra Baldi & Damian Szmuc - forthcoming - Logic and Logical Philosophy:1-22.

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