Equivalence of multiset-based consequence relations

DOI10.1016/J.APAL.2025.103646MaRDI QIDQ6912199zbMATH OpenFDO

Authors Ali Madanshekaf, Adam Přenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis

Publication date 23 October 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

substructural logicconsequence relationsquantalesalgebraic logicmultiset-based consequencesubstructural consequence

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27) Quantales (06F07)

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• An abstract approach to consequence relations
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Relevant consequence relations: an invitation
• Substructural logics: a primer

This page was built for publication: Equivalence of multiset-based consequence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6912199)