Logic Journal of the IGPL 19 (1):183-216 (2011)

Abstract
Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzq041
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,194
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

Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Bilattices Are Nice Things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.

View all 10 references / Add more references

Citations of this work BETA

Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.

View all 11 citations / Add more citations

Similar books and articles

Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.
Regular Bilattices.Alexej P. Pynko - 2000 - Journal of Applied Non-Classical Logics 10 (1):93-111.
Bilattices and the Theory of Truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Evidential Bilattice Logic and Lexical Inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.

Analytics

Added to PP index
2015-02-04

Total views
13 ( #743,606 of 2,448,324 )

Recent downloads (6 months)
1 ( #450,727 of 2,448,324 )

How can I increase my downloads?

Downloads

My notes