Year: 2024
Type: article
Abstract: Gentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing's basic connexive logic C. The C-family is derived from C by incorporating the Peirce law, the law of excluded middle, and the generalized law of excluded middle.Theorems establishing equivalence between the proposed sequent calculi and natural deduction systems are demonstrated.Cut-elimination and normalization theorems are established for the proposed sequent calculi and natural deduction systems, respectively.
DOI: 10.4204/eptcs.415.19
Author: Norihiro Kamide
Institution: Nagoya City University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4405854004