Pages that link to "Item:Q4291872"
From MaRDI portal
The following pages link to Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus (Q4291872):
Displaying 10 items.
- Undecidability of Brouwerian semilattices (Q1821098) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS (Q3430314) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)