Varieties of unary-determined distributive \ell-magmas and bunched implication algebras
From MaRDI portal
Publication:6151561
Cites work
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- A Sahlqvist theorem for distributive modal logic
- Algebras Whose Congruence Lattices are Distributive.
- CONCUR 2004 - Concurrency Theory
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
- Distributive lattices with an operator
- Equational classes of totally ordered modal lattices
- Models for stronger normal intuitionistic modal logics
- Relation lifting, a survey
- Residuated lattices. An algebraic glimpse at substructural logics
- Some Varieties Containing Relation Algebras
- The Logic of Bunched Implications
- The structure of generalized BI-algebras and weakening relation algebras
This page was built for publication: Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151561)