Semantics for Pure Theories of Connexive Implication

Review of Symbolic Logic 15 (3):591-606 (2022)
  Copy   BIBTEX


In this article, I provide Urquhart-style semilattice semantics for three connexive logics in an implication-negation language (I call these “pure theories of connexive implication”). The systems semantically characterized include the implication-negation fragment of a connexive logic of Wansing, a relevant connexive logic recently developed proof-theoretically by Francez, and an intermediate system that is novel to this article. Simple proofs of soundness and completeness are given and the semantics is used to establish various facts about the systems (e.g., that two of the systems have the variable sharing property). I emphasize the intuitive content of the semantics and discuss how natural informational considerations underly each of the examined systems.



    Upload a copy of this work     Papers currently archived: 76,400

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

Connexive Extensions of Regular Conditional Logic.Yale Weiss - 2019 - Logic and Logical Philosophy 28 (3):611-627.
Connexive Restricted Quantification.Nissim Francez - 2020 - Notre Dame Journal of Formal Logic 61 (3):383-402.
Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
A Poly-Connexive Logic.Nissim Francez - forthcoming - Logic and Logical Philosophy:1.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.
Strong Connexivity.Andreas Kapsner - 2012 - Thought: A Journal of Philosophy 1 (2):141-145.
Semantics for connexive logics. I.Richard Routley - 1978 - Studia Logica 37 (4):393 - 412.
Meanings of Implication.John Corcoran - 1973 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 9 (24):59-76.


Added to PP

24 (#483,618)

6 months
11 (#82,964)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yale Weiss
CUNY Graduate Center

Citations of this work

A Variant of Material Connexive Logic.Alexander Belikov & Dmitry Zaitsev - 2022 - Bulletin of the Section of Logic 51 (2):227-242.

Add more citations

References found in this work

Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Relevance Logic.Michael Dunn & Greg Restall - 2002 - In D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers.
Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.

View all 13 references / Add more references