 previous article in this issue | next article in this issue  |
|
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. |
|
