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 relationabstract algebraic logicmultiset consequence

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items

Coproduct and amalgamation of deductive systems by means of ordered algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS