An Algebraic View of Super-Belnap Logics

Studia Logica 105 (6):1051-1086 (2017)


The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies.

Download options


    Upload a copy of this work     Papers currently archived: 72,634

External links

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

Through your library


Added to PP

13 (#775,371)

6 months
1 (#388,784)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (3):105-134.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Game Theoretical Semantics for Some Non-Classical Logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.