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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,576

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

Poly-Connexivity: Connexive Conjunction and Disjunction.Nissim Francez - 2022 - Notre Dame Journal of Formal Logic 63 (3):343-355.
Connexive Exclusion.Yaroslav Shramko & Heinrich Wansing - forthcoming - Erkenntnis:1-32.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
A Variant of Material Connexive Logic.Alexander Belikov & Dmitry Zaitsev - 2022 - Bulletin of the Section of Logic 51 (2):227-242.
A Natural Deduction System for Orthomodular Logic.Andre Kornell - 2024 - Review of Symbolic Logic 17 (3):910-949.
Relating Semantics for Hyper-Connexive and Totally Connexive Logics.Jacek Malinowski & Ricardo Arturo Nicolás-Francisco - 2023 - Logic and Logical Philosophy (Special Issue: Relating Logic a):1-14.

Analytics

Added to PP
n/a

Downloads
41 (#443,344)

6 months
6 (#688,448)

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