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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-012-9417-8

Other Versions

reprint Tranchini, Luca (2017) "Natural deduction for bi-intuitionistic logic". Journal of Applied Logic 25():S72-S96

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,567

External links

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

Through your library

My notes

Similar books and articles

An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
Liar-type paradoxes and intuitionistic natural deduction systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.
Intuitionistic hybrid logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.

Analytics

Added to PP
2012-07-03

Downloads
96 (#228,876)

6 months
5 (#777,097)

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 - 2024 - 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 - 2014 - In Heinrich Wansing, Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.

View all 13 citations / Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
What is a theory of meaning?Michael Dummett - 1975 - In Samuel D. Guttenplan, Mind and language. Oxford [Eng.]: Clarendon Press.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

View all 14 references / Add more references