Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

, &
Journal of Applied Non-Classical Logics 29 (3):307-325 (2019)
  Copy   BIBTEX

Abstract

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2019.1644079

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,417

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

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 with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.Gemma Robles & José M. Méndez - 2021 - Journal of Applied Non-Classical Logics 31 (2):130-153.
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.
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.
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B.Sandra M. López - 2022 - Logic and Logical Philosophy 31 (1):29-56.
A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (3):533-556.
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.Gemma Robles & José M. Méndez - 2023 - Journal of Philosophical Logic 52 (3):915-938.
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd.Gemma Robles & José M. Méndez - 2024 - Logic Journal of the IGPL 32 (3):493-516.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.

Analytics

Added to PP
2019-08-05

Downloads
48 (#508,107)

6 months
11 (#334,385)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - unknown - Groningen: P. Noordhoff N.V..
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle, Contemporary aspects of philosophy. Boston: Oriel Press.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.

View all 21 references / Add more references