Relevant consequence relations: an invitation

DOI10.1017/S1755020323000205MaRDI QIDQ6638234zbMATH OpenFDO

Authors Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder

Publication date 14 November 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020323000205

zbMATH Keywords

substructural logicsmultiple conclusionsrelevant entailmentmultiset consequence relations

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Cites work

• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2019868 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• A note on \textbf{R}-mingle and the danger of safety
• Abelian logic and the logics of pointed lattice-ordered varieties
• Abstract algebraic logic. An introductory textbook
• Algebraic methods in philosophical logic
• An abstract approach to consequence relations
• An algebraic approach to non-classical logics
• Axiomatic System, Deduction and Implication
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Handbook of philosophical logic. Vol. 6
• Inferences and metainferences in \(\mathsf{ST}\)
• Logic and Implication
• Logic and groups
• New axiomatics for relevant logics. I
• On the mathematical method and correspondence with Exner. Transl. by Paul Rusnock and Rolf George
• Protoalgebraic logics
• R-Mingle is Nice, and so is Arnon Avron
• Relative necessity
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Simple consequence relations
• Substructural logics: a primer
• The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton
• The connectives
• The semantics and proof theory of linear logic

Cited in

(1)

• Equivalence of multiset-based consequence relations

This page was built for publication: Relevant consequence relations: an invitation

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