A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic

&
Logic Journal of the IGPL 30 (1):21-33 (2022)
  Copy   BIBTEX

Abstract

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzaa028

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value.Gemma Robles & José M. Méndez - 2019 - Logic Journal of the IGPL 27 (6):910-932.
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix.Gemma Robles - forthcoming - Logic Journal of the IGPL.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
Four-Valued Logics BD and DM4: Expansions.Alexander S. Karpenko - 2017 - Bulletin of the Section of Logic 46 (1/2).
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
Sentential Falsehood Logic FL4.Sergey Pavlov - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:112-117.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3‐6):61-68.
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.

Analytics

Added to PP
2020-07-28

Downloads
16 (#902,419)

6 months
10 (#262,545)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca

Citations of this work

Add more citations

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.

View all 7 references / Add more references