3 papers
cs.LO2024
Unified Gentzen Approach to Connexive Logics over Wansing's C
Norihiro Kamide
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-f…
cs.LO2024
A Unified Gentzen-style Framework for Until-free LTL
Norihiro Kamide, Sara Negri
A unified Gentzen-style framework for until-free propositional linear-time temporal logic is introduced. The proposed framework, based on infinitary rules and rules for primitive n…
cs.LO2024
Twist Sequent Calculi for S4 and its Neighbors
Norihiro Kamide
Two Gentzen-style twist sequent calculi for the normal modal logic S4 are introduced and investigated. The proposed calculi, which do not employ the standard logical inference rule…