Pure Variable Inclusion Logics

Logic and Logical Philosophy:1-22 (forthcoming)
  Copy   BIBTEX


The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic.



    Upload a copy of this work     Papers currently archived: 76,264

External links

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

Through your library

Similar books and articles

Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Logics of variable inclusion and the lattice of consequence relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
Disjoint Logics.Federico Pailos - forthcoming - Logic and Logical Philosophy:1.
Structural proof theory for first-order weak Kleene logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.


Added to PP

18 (#614,560)

6 months
5 (#153,990)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Francesco Paoli
Universita di Cagliari
Damian Szmuc
Universidad de Buenos Aires (UBA)

Citations of this work

Applications of Relating Semantics.Tomasz Jarmużek & Francesco Paoli - forthcoming - Logic and Logical Philosophy:1-17.

Add more citations

References found in this work

Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.

View all 21 references / Add more references