An Abstract Approach to Consequence Relations

Review of Symbolic Logic 12 (2):331-371 (2019)
  Copy   BIBTEX

Abstract

We generalise the Blok–Jónsson 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ónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariablyaggregatedvia set-theoretical union. Our approach is more general in that nonidempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. In their abstract form, thus,deductive relationsare 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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,319

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-02-16

Downloads
40 (#439,640)

6 months
11 (#508,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesco Paoli
Universita di Cagliari

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Multiset theory.Wayne D. Blizard - 1988 - Notre Dame Journal of Formal Logic 30 (1):36-66.
Contraction and closure.David Ripley - 2015 - Thought: A Journal of Philosophy 4 (2):131-138.

View all 17 references / Add more references