Towards a Cut-free Sequent Calculus for Boolean BI

Sungwoo Park; Jonghyun Park

doi:10.29007/t6zs

Download PDF Open PDF in browser

Towards a Cut-free Sequent Calculus for Boolean BI

5 pages•Published: March 24, 2013

Sungwoo Park and Jonghyun Park

Abstract

Keyphrases: Boolean BI, cut elimination, sequent calculus

In: Alex Simpson (editor). PSPL 2010. International Workshop on Proof Systems for Program Logics, vol 12, pages 12--16

Links:	https://easychair.org/publications/paper/KP
	https://doi.org/10.29007/t6zs

BibTeX entry

@inproceedings{PSPL2010:Towards_Cut_free_Sequent_Calculus,
  author    = {Sungwoo Park and Jonghyun Park},
  title     = {Towards a Cut-free Sequent Calculus for Boolean BI},
  booktitle = {PSPL 2010. International Workshop on Proof Systems for Program Logics},
  editor    = {Alex Simpson},
  series    = {EPiC Series in Computing},
  volume    = {12},
  pages     = {12--16},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KP},
  doi       = {10.29007/t6zs}}

Download PDF Open PDF in browser