Pages that link to "Item:Q1312168"
From MaRDI portal
The following pages link to Relation algebras as residuated Boolean algebras (Q1312168):
Displaying 24 items.
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Adjoining units to residuated Boolean algebras (Q1902548) (← links)
- Relativizations of relation algebras by the diversity (Q1918962) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Residuation algebras with functional duals (Q2325603) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Necessary and sufficient conditions for residuated lattices and bounded psBCK-algebras to be Boolean algebras. (Q2794184) (← links)
- On the Complexity of the Equational Theory of Residuated Boolean Algebras (Q2820699) (← links)
- (Q3352488) (← links)
- (Q4273435) (← links)
- Distributed Relation Logic (Q4683211) (← links)
- Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators (Q4834297) (← links)
- On closures verifying that the interior of a closed element is closed (Q4849558) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- Residuated Structures in Algebra and Logic (Q6059121) (← links)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
- Monoidal extended stone duality (Q6629456) (← links)
