Pages that link to "Item:Q1902548"
From MaRDI portal
The following pages link to Adjoining units to residuated Boolean algebras (Q1902548):
Displayed 10 items.
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- \(MP\)-algebras with relative types (Q1272216) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary (Q1914508) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Distributive laws in residuated binars (Q2007988) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)