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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Remarks on the Gupta-Belnap fixed-point property for k-valued clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.
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
17 (#742,076)

6 months
4 (#319,344)

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

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - 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.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

View all 23 references / Add more references