Archive for Mathematical Logic (1-2):49-76 (2020)

Stefano Bonzio
University of Turin
The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic \. We prove that the description of the algebraic counterpart of the left variable inclusion companion of a given logic \ is related to the construction of Płonka sums of the matrix models of \. This observation allows to obtain a Hilbert-style axiomatization of the logics of left variable inclusion, to describe the structure of their reduced models, and to locate them in the Leibniz hierarchy.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2020, 2021
DOI 10.1007/s00153-020-00727-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,999
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.

View all 26 references / Add more references

Citations of this work BETA

Logics of Variable Inclusion and the Lattice of Consequence Relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.

Add more citations

Similar books and articles

Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
On Reduced Matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
Complexity of Finite-Variable Fragments of EXPTIME-Complete Logics★.Mikhail Rybakov - 2007 - Journal of Applied Non-Classical Logics 17 (3):359-382.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.


Added to PP index

Total views
8 ( #946,272 of 2,410,433 )

Recent downloads (6 months)
3 ( #244,706 of 2,410,433 )

How can I increase my downloads?


My notes