Journal of Applied Non-Classical Logics 22 (4):319 - 335 (2012)

Abstract
We look at extensions (i.e., stronger logics in the same language) of the Belnap?Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap?Dunn and do not coincide with any of the known extensions (Kleene?s logics, Priest?s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical matrix. We show that the last logic of the chain is not finitely axiomatisable
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/11663081.2012.737154
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,247
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.

View all 23 references / Add more references

Citations of this work BETA

View all 14 citations / Add more citations

Similar books and articles

On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.

Analytics

Added to PP index
2013-03-01

Total views
25 ( #436,213 of 2,448,513 )

Recent downloads (6 months)
1 ( #449,843 of 2,448,513 )

How can I increase my downloads?

Downloads

My notes