Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions

Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the -institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-Férez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result of Gil-Férez pertaining to arbitrary multi-term -institutions. The approach places hidden multi-sorted deductive systems in a more general framework and bypasses the laborious reuse of well-known proof techniques from traditional abstract algebraic logic by using “off the shelf” tools

Logics of variable inclusion and the lattice of consequence relations

In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L.Comment: arXiv admin note: text overlap with arXiv:1804.08897, arXiv:1809.0676

An Abstract Approach to Consequence Relations

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

An algebraic study of logics of variable inclusion and analytic containment

This thesis focuses on a wide family of logics whose common feature is to admit a syntactic definition based on specific variable inclusion principles. This family has been divided into three main components: logics of left variable inclusion, containment logics, and the logic of demodalised analytic implication. We offer a general investigation of such logics within the framework of modern abstract algebraic logic