A cut-free sequent calculus for bi-intuitionistic logic

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
48 (#242,200)

6 months
5 (#144,440)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
Proofs, Disproofs, and Their Duals.Heinrich Wansing - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 483-505.
Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.

View all 6 citations / Add more citations

References found in this work

The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
A Remark on Gentzen's Calculus of Sequents.Johannes Czermak - 1977 - Notre Dame Journal of Formal Logic 18 (3):471-474.

Add more references