Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras

DOI10.46298/LMCS-20(1:12)2024arXiv2211.02804v5OpenAlexW4391681788MaRDI QIDQ6151561

Natanael Alpay, Melissa Sugimoto, Peter Jipsen

Publication date: 11 March 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

idempotent semiringsbunched implication algebrasdistributive lattice-ordered magmasenumerating finite models

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

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
• Residuated lattices. An algebraic glimpse at substructural logics
• Models for stronger normal intuitionistic modal logics
• Distributive lattices with an operator
• Equational classes of totally ordered modal lattices
• Some Varieties Containing Relation Algebras
• The Logic of Bunched Implications
• Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
• CONCUR 2004 - Concurrency Theory
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras