Switch to: References

Add citations

You must login to add citations.
  1. Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
    We present a multiple-assumption multiple-conclusion system for bi-intuitionistic logic. Derivations in the systems are graphs whose edges are labelled by formulas and whose nodes are labelled by rules. We show how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system. Soundness and completeness are established using translations with more traditional sequent calculi for bi-intuitionistic logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Propositional intuitionistic multiple-conclusion calculus via proof graphs.Ruan V. B. Carvalho, Anjolina G. de Oliveira & Ruy J. G. B. de Queiroz - forthcoming - Logic Journal of the IGPL.
    Download  
     
    Export citation  
     
    Bookmark