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

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

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

• Title not available (Why is that?)
• The Logic of Bunched Implications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• CONCUR 2004 - Concurrency Theory
• Algebras Whose Congruence Lattices are Distributive.
• Relation lifting, a survey
• A Sahlqvist theorem for distributive modal logic
• Some Varieties Containing Relation Algebras
• Models for stronger normal intuitionistic modal logics
• The structure of generalized BI-algebras and weakening relation algebras
• Equational classes of totally ordered modal lattices
• Distributive lattices with an operator
• Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests

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)