A Poly-Connexive Logic

Logic and Logical Philosophy:1 (forthcoming)
  Copy   BIBTEX

Abstract

The paper introduces a variant of connexive logic in which connexivity is extended from the interaction of negation with implication to the interaction of negation also with conjunction and disjunction. The logic is presented by two deductively equivalent methods: an axiomatic one and a natural-deduction one. Both are shown to be complete for a four-valued model theory.

Categories

Keywords

DOI

10.12775/llp.2019.022

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,377

External links

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

Through your library

My notes

Similar books and articles

Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
Strong Connexivity.Andreas Kapsner - 2012 - Thought: A Journal of Philosophy 1 (2):141-145.
Bilateralism, Trilateralism, Multilateralism and Poly-Sequents.Nissim Francez - 2019 - Journal of Philosophical Logic 48 (2):245-262.
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Realism and Nominalism in Formal Logic.Bruce Erwin Ruy Thompson - 1988 - Dissertation, University of Colorado at Boulder
Consequences of the Provability of NP ⊆ P/poly.Stephen Cook & Jan Krajíček - 2007 - Journal of Symbolic Logic 72 (4):1353 - 1371.
Negation as Cancellation, Connexive Logic, and qLPm.Heinrich Wansing - 2018 - Australasian Journal of Logic 15 (2):476-488.
The Theory of Natural Consequence.Christopher J. Martin - 2018 - Vivarium 56 (3-4):340-366.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
Connexive logic.Michael Astroh - 1999 - Nordic Journal of Philosophical Logic 4:31-72.
Connexive class logic.Storrs McCall - 1967 - Journal of Symbolic Logic 32 (1):83-90.
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.
Dialogical connexive logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
Connexive Gentzen.S. McCall - 2014 - Logic Journal of the IGPL 22 (6):964-981.
Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.

Analytics

Added to PP
2019-07-05

Downloads
20 (#628,489)

6 months
2 (#521,718)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Poly-Connexivity: Connexive Conjunction and Disjunction.Nissim Francez - 2022 - Notre Dame Journal of Formal Logic 63 (3):343-355.
An Analysis of Poly-connexivity.Luis Estrada-González - 2022 - Studia Logica 110 (4):925-947.

Add more citations

References found in this work

No references found.

Add more references