this issue
previous article in this issuenext article in this issue

Preview first page
Document Details :

Title: A Glimpse into Higher-Order Connexive Logics
Author(s): FRANCEZ, Nissim
Journal: Logique et Analyse
Volume: 257    Date: 2022   
Pages: 101-110
DOI: 10.2143/LEA.257.0.3291073

Abstract :
The paper points out that a generalization of propositional connexive logics to higher-order connexive logics (of any finite order) is possible. In particular, the paper presents the higher-order characteristic connexive axioms, as well as a natural-deduction system in which those higher-order axioms are derivable. The paper also points out an incompatibility of higher-order connexive logics with the recently proposed restriction of humble connexivity, where the antecedent of a valid connexive implication, in particular in the axioms, is required to be noncontradictory.

Download article