Unary-determined distributive \(\ell \)-magmas and bunched implication algebras

DOI10.1007/978-3-030-88701-8_2OpenAlexW3208637709MaRDI QIDQ2695343

Natanael Alpay, Melissa Sugimoto, Peter Jipsen

Publication date: 30 March 2023

Full work available at URL: https://arxiv.org/abs/2211.02804

zbMATH Keywords

idempotent semiringsbunched implication algebrasdistributive lattice-ordered magmasenumerating finite models

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

The structure of locally integral involutive po-monoids and semirings

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation lifting, a survey
• A Sahlqvist theorem for distributive modal logic
• The structure of generalized BI-algebras and weakening relation algebras
• Resources, concurrency, and local reasoning
• Residuated lattices. An algebraic glimpse at substructural logics
• Handbook of philosophical logic. Vol. 6
• Structure theorems for idempotent residuated lattices
• Some Varieties Containing Relation Algebras
• The Logic of Bunched Implications
• Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
• Completely Distributive Complete Lattices

This page was built for publication: Unary-determined distributive \(\ell \)-magmas and bunched implication algebras