AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS

DOI10.1017/S175502031900008XzbMath1445.03076arXiv1710.00220MaRDI QIDQ5381042

Francesco Paoli, José Gil-Férez, Tommaso Moraschini, Petr Cintula

Publication date: 7 June 2019

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

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

zbMATH Keywords

consequence relation; abstract algebraic logic; multiset consequence

Mathematics Subject Classification ID

06F05: Ordered semigroups and monoids

03B22: Abstract deductive systems

03G27: Abstract algebraic logic

Related Items

Coproduct and amalgamation of deductive systems by means of ordered algebras

Cites Work

• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• The semantic isomorphism theorem in abstract algebraic logic
• Linear logic
• Representations of structural closure operators
• An order-theoretic analysis of interpretations among propositional deductive systems
• Simple consequence relations
• Residuated lattices. An algebraic glimpse at substructural logics
• The semantics and proof theory of linear logic
• Multiset theory
• Definitional equivalence and algebraizability of generalized logical systems
• Substructural logics: a primer
• A survey of abstract algebraic logic
• Algebraic foundations of many-valued reasoning
• Order algebraizable logics
• \(M\)-sets and the representation problem
• Equivalence of consequence operations
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Correspondences between gentzen and hilbert systems
• Algebraizable logics
• Axiomatic System, Deduction and Implication
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item