Natural Deduction for Dual-intuitionistic Logic

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

Abstract

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.

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2012-07-03

Downloads
70 (#169,865)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luca Tranchini
Universität Tübingen

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
A Modal Translation for Dual-Intuitionistic Logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.

View all 11 citations / Add more citations

References found in this work

The Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
What is a Theory of Meaning?Michael A. E. Dummett - 1975 - In Samuel Guttenplan (ed.), Mind and Language. Oxford University Press.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

View all 15 references / Add more references