Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

DOI10.1093/jigpal/1.1.91zbMath0798.03009OpenAlexW1970603253MaRDI QIDQ4291872

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

Publication date: 15 May 1994

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

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

zbMATH Keywords

undecidabilityBoolean algebrasLambek calculusmodal logicsarrow logicsarrow modalityequational theory of semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Equational classes, universal algebra in model theory (03C05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99)

Related Items (6)

Decidable and undecidable logics with a binary modality ⋮ Language models for some extensions of the Lambek calculus ⋮ Relation algebras as expanded FL-algebras ⋮ First-Order Resolution Methods for Modal Logics ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS

This page was built for publication: Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus