Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension

  • Norihiro Kamide
  • Published 2016 in
    2016 IEEE 46th International Symposium on…

Abstract

In this paper, a cut-free Gentzen-type sequent calculus RBL for a restricted version of bi-intuitionistic logic is introduced as an alternative to a non-cut-free Gentzen-type sequent calculus BL for bi-intuitionistic logic. RBL is obtained from BL by imposing some restrictions to the implication-right and co-implication-left rules. RBL is a conservative… (More)
DOI: 10.1109/ISMVL.2016.11

Cite this paper

@article{Kamide2016CutFreeSF, title={Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension}, author={Norihiro Kamide}, journal={2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)}, year={2016}, pages={137-142} }