An abstract approach to consequence relations
From MaRDI portal
Publication:5381042
DOI10.1017/S175502031900008XzbMATH Open1445.03076arXiv1710.00220MaRDI QIDQ5381042FDOQ5381042
Authors: José Gil-Férez, Tommaso Moraschini, Francesco Paoli, Petr Cintula 
Publication date: 7 June 2019
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Abstract: We generalise the Blok-J'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J'onsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariably aggregated via set-theoretical union. Our approach is more general in that non-idempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. In their abstract form, thus, deductive relations are defined as additional compatible preorderings over certain partially ordered monoids. We investigate these relations using categorical methods, and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic.
Full work available at URL: https://arxiv.org/abs/1710.00220
Recommendations
Abstract deductive systems (03B22) Ordered semigroups and monoids (06F05) Abstract algebraic logic (03G27)
Cites Work
- The semantics and proof theory of linear logic
- Substructural logics: a primer
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Residuated lattices. An algebraic glimpse at substructural logics
- A survey of abstract algebraic logic
- Order algebraizable logics
- Algebraizable logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Protoalgebraic logics
- Title not available (Why is that?)
- Multiset theory
- Definitional equivalence and algebraizability of generalized logical systems
- Title not available (Why is that?)
- Equivalence of consequence operations
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Representations of structural closure operators
- Simple consequence relations
- \(M\)-sets and the representation problem
- Abstract algebraic logic. An introductory textbook
- The semantic isomorphism theorem in abstract algebraic logic
- Correspondences between gentzen and hilbert systems
- An order-theoretic analysis of interpretations among propositional deductive systems
- Title not available (Why is that?)
- A systematization of fundamentals of multisets
- Axiomatic System, Deduction and Implication
- Title not available (Why is that?)
Cited In (9)
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Consequence relations and admissible rules
- Towards a relational treating of language and logical systems
- Disjunctive multiple-conclusion consequence relations
- A primer on rational consequence relations, Popper functions, and their ranked structures
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Abductive consequence relations
- Relevant consequence relations: an invitation
- Reading conclusions conjunctively
This page was built for publication: An abstract approach to consequence relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5381042)
