Authors
Nissim Francez
Technion, Israel Institute of Technology
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.12775/llp.2019.022
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

No references found.

Add more references

Citations of this work BETA

Connexive Logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

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.
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.
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):105-139.

Analytics

Added to PP index
2019-07-05

Total views
9 ( #849,151 of 2,326,762 )

Recent downloads (6 months)
2 ( #429,609 of 2,326,762 )

How can I increase my downloads?

Downloads

My notes