Natural Deduction for Dual-intuitionistic Logic

Studia Logica 100 (3):631-648 (2012)

Luca Tranchini
Universität Tübingen
We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-012-9417-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,545
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.

View all 13 references / Add more references

Citations of this work BETA

A Modal Translation for Dual-Intuitionistic Logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
Reprint Of: A More General General Proof Theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
Deductive Inference as Indirect Verification.Takuro Onishi - 2015 - Journal of the Japan Association for Philosophy of Science 42 (2):81-95.

Add more citations

Similar books and articles

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Normalization and Excluded Middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.


Added to PP index

Total views
57 ( #152,228 of 2,280,517 )

Recent downloads (6 months)
3 ( #405,671 of 2,280,517 )

How can I increase my downloads?


My notes

Sign in to use this feature