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

DOI10.46298/LMCS-20(1:12)2024MaRDI QIDQ6151561zbMATH OpenOpenAlexFDO

Authors Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Publication date 11 March 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

• 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)