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

DOI10.1093/jigpal/3.1.93zbMath0830.06007MaRDI 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

undecidability; normal operator; equational theories; residuated Boolean groupoids; residuated operator

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)

Related Items

Decidable and undecidable logics with a binary modality