Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

  title={Relating Sequent Calculi for Bi-intuitionistic Propositional Logic},
  author={Lu{\'i}s Pinto and Tarmo Uustalu},
Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic. In this paper, we compare three sequent calculi for bi-intuitionistic propositional logic: (1) a basic standard-style sequent calculus that restricts the premises of implication-right and exclusion-left inferences to be singleconclusion resp. single-assumption and is incomplete without the cut… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
7 Citations
19 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 19 references

A formalization of the propositional calculus of H-B logic

  • C. Rauszer
  • Studia Logica 33 (1)
  • 1974
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…