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

DOI10.1093/jigpal/3.1.93zbMath0830.06007OpenAlexW1974325707MaRDI QIDQ4834297

Istvan Németi, Ildikó Sain, András Simon

Publication date: 30 January 1996

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/3.1.93

zbMATH Keywords

undecidabilitynormal operatorequational theoriesresiduated Boolean groupoidsresiduated operator

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

Decidable and undecidable logics with a binary modality

This page was built for publication: Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators