Studia Logica:1-26 (forthcoming)

Authors
Stefano Bonzio
University of Turin
Abstract
The paper studies the containment companion of a logic \. This consists of the consequence relation \ which satisfies all the inferences of \, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. In accordance with the work started in [10], we show that a different generalization of the Płonka sum construction, adapted from algebras to logical matrices, allows to provide a matrix-based semantics for containment logics. In particular, we provide an appropriate completeness theorem for a wide family of containment logics, and we show how to produce a complete Hilbert style axiomatization.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-020-09930-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,276
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

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
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

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

Axiomatization and Completeness of Lexicographic Products of Modal Logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Duality and Completeness for US-Logics.Fabio Bellissima & Saverio Cittadini - 1998 - Notre Dame Journal of Formal Logic 39 (2):231-242.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (3):105-134.
Belnap's Four-Valued Logic and De Morgan Lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.

Analytics

Added to PP index
2021-02-19

Total views
3 ( #1,292,355 of 2,419,615 )

Recent downloads (6 months)
3 ( #248,667 of 2,419,615 )

How can I increase my downloads?

Downloads

My notes