Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators

Logic Journal of the IGPL 3 (1):93-105 (1995)
  Copy   BIBTEX

Abstract

We show the undecidability of the equational theories of some classes of BAOs with a non-associative, residuated binary extra-Boolean operator. These results solve problems in Jipsen [9], Pratt [21] and Roorda [22], [23]. This paper complements Andréka-Kurucz-Németi-Sain-Simon [3] where the emphasis is on BAOs with an associative binary operator

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

Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.
A construction of Boolean algebras from first-order structures.Sabine Koppelberg - 1993 - Annals of Pure and Applied Logic 59 (3):239-256.
Decidable and undecidable logics with a binary modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Generalizations of Boolean products for lattice-ordered algebras.Peter Jipsen - 2010 - Annals of Pure and Applied Logic 161 (2):228-234.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Powerset residuated algebras.Mirosława Kołowska-Gawiejnowicz - 2014 - Logic and Logical Philosophy 23 (1):69-80.

Analytics

Added to PP
2015-02-04

Downloads
11 (#976,244)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decidable and undecidable logics with a binary modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.

Add more citations

References found in this work

No references found.

Add more references