FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
(Short Paper) Towards a Dualized Sequent Calculus with Canonicity

Authors: Anthony Cantor and Aaron Stump

Paper Information

Title:(Short Paper) Towards a Dualized Sequent Calculus with Canonicity
Authors:Anthony Cantor and Aaron Stump
Proceedings:CL&C Full papers and abstracts
Editor: Stefano Berardi
Keywords:Sequent Calculus, bi-intuitionistic logic, dualized proof system
Abstract:

ABSTRACT. In pursuit of a canonistic logic comprised of dualized proof rules, we introduce a sequent calculus system, 2Intx, that is inspired by Wansing's bi-intuitionistic propositional logic 2Int. Though 2Int has canonicity and duality, it defines only natural deduction proof rules and employs an unintuitive Kripke semantics that allows atomic formulas to be both true and false. In addition to defining the sequent calculus rules of 2Intx, we also define a Kripke semantics that only admits models in which atomic formulas are either true or false but not both. Finally, we prove soundness of 2Intx.

Pages:11
Talk:Jul 07 10:00 (Session 23A)
Paper: