An abstract approach to consequence relations
From MaRDI portal
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.
Recommendations
Cites work
- \(M\)-sets and the representation problem
- A survey of abstract algebraic logic
- A systematization of fundamentals of multisets
- Abstract algebraic logic. An introductory textbook
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- An order-theoretic analysis of interpretations among propositional deductive systems
- Axiomatic System, Deduction and Implication
- Correspondences between gentzen and hilbert systems
- Definitional equivalence and algebraizability of generalized logical systems
- Equivalence of consequence operations
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- scientific article; zbMATH DE number 440121 (Why is no real title available?)
- scientific article; zbMATH DE number 5772813 (Why is no real title available?)
- scientific article; zbMATH DE number 67022 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 1257742 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 753775 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- Linear logic
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Multiset theory
- Order algebraizable logics
- Protoalgebraic logics
- Representations of structural closure operators
- Residuated lattices. An algebraic glimpse at substructural logics
- Simple consequence relations
- Substructural logics: a primer
- The semantic isomorphism theorem in abstract algebraic logic
- The semantics and proof theory of linear logic
Cited in
(11)- Abductive consequence relations
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Consequence relations and admissible rules
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Disjunctive multiple-conclusion consequence relations
- Towards a relational treating of language and logical systems
- Relevant consequence relations: an invitation
- Reading conclusions conjunctively
- Equivalence of multiset-based consequence relations
- The category of propositional deductive systems
- A primer on rational consequence relations, Popper functions, and their ranked structures
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)
