Towards a canonical classical natural deduction system

Annals of Pure and Applied Logic 164 (6):618-650 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.05.008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Towards a canonical classical natural deduction system.José Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
Church–Rosser property of a simple reduction for full first-order classical natural deduction.Y. Andou - 2003 - Annals of Pure and Applied Logic 119 (1-3):225-237.
Strong normalization results by translation.René David & Karim Nour - 2010 - Annals of Pure and Applied Logic 161 (9):1171-1179.
Strong normalization of classical natural deduction with disjunctions.Koji Nakazawa & Makoto Tatsuta - 2008 - Annals of Pure and Applied Logic 153 (1-3):21-37.
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.
Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case.Luiz Carlos Pereira & Elaine Pimentel - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 139-169.
A canonical hidden-variable space.Adam Brandenburger & H. Jerome Keisler - 2018 - Annals of Pure and Applied Logic 169 (12):1295-1302.
Incorporating equality into logic programming via surface deduction.P. T. Cox & T. Pietrzykowski - 1986 - Annals of Pure and Applied Logic 31:177-189.

Analytics

Added to PP
2013-12-12

Downloads
68 (#309,654)

6 months
10 (#404,653)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
Call-by-name reduction and cut-elimination in classical logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.

Add more references