Variable Sharing in Connexive Logic
Journal of Philosophical Logic 50 (6):1377-1388 (2021)
Abstract
However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties that seem to be hinted at in Nelson’s work. Following this strategy will ideally shed some light over the notion of content and will also help make a clear comparison between relevance and connexive logics.Author Profiles
DOI
10.1007/s10992-021-09602-y
My notes
Similar books and articles
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
A Note on the Relevance of Semilattice Relevance Logic.Yale Weiss - 2019 - Australasian Journal of Logic 16 (6):177-185.
Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
Connexive logics. An overview and current trends.Hitoshi Omori & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
A weak logic with the axiom Mingle lacking the variable-sharing property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
Boolean negation and non-conservativity II: The variable-sharing property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
A Class of Simpler Logical Matrices for the Variable-Sharing Property.G. Robles & J. M. Méndez - 2011 - Logic and Logical Philosophy 20 (3):241-249.
A modal restriction of R-Mingle with the variable-sharing property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - Logic and Logical Philosophy 19 (4):341-351.
Variable Sharing in Substructural Logics: An Algebraic Characterization.Guillermo Badia - 2018 - Bulletin of the Section of Logic 47 (2):107-115.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Ticket Entailment plus the mingle axiom has the variable-sharing property.José M. Méndez, Gemma Robles & Francisco Salto - 2012 - Logic Journal of the IGPL 20 (1):355-364.
Analytics
Added to PP
2021-05-05
Downloads
15 (#700,732)
6 months
5 (#155,016)
2021-05-05
Downloads
15 (#700,732)
6 months
5 (#155,016)
Historical graph of downloads
Author Profiles
References found in this work
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Connexive logics. An overview and current trends.Hitoshi Omori & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.