Studia Logica 101 (4):651-675 (2013)

Abstract
In a previous work we studied, from the perspective ofAlgebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice language. We prove that this logic is algebraizable and investigate its algebraic models, which turn out to be distributive bilattices with additional implication operations. We axiomatize and state several results on these new classes of algebras, in particular representation theorems analogue to the well-known one for interlaced bilattices
Keywords Bilattice  Representation of bilattices  Brouwerian lattice  Disjunctive lattice  Generalized Boolean algebra  Category of bilattices  Algebraic logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-013-9494-3
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,219
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.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
The Value of the Four Values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.
On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.

View all 11 references / Add more references

Citations of this work BETA

Bilattice Public Announcement Logic.Umberto Rivieccio - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 459-477.

Add more citations

Similar books and articles

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.
Evidential Bilattice Logic and Lexical Inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
Bilattices Are Nice Things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Some Remarks on the Algebraic Structure of the Medvedev Lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
Bilattices and the Theory of Truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
An Algebraic Approach to Propositional Fuzzy Logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.

Analytics

Added to PP index
2013-06-29

Total views
14 ( #707,292 of 2,448,397 )

Recent downloads (6 months)
1 ( #450,223 of 2,448,397 )

How can I increase my downloads?

Downloads

My notes