A general treatment for the deduction theorem in open calculi

&
Logique Et Analyse 157:9-29 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

My notes

Similar books and articles

Foundations of a theorem prover for functional and mathematical uses.Javier Leach & Susana Nieva - 1993 - Journal of Applied Non-Classical Logics 3 (1):7-38.
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Review: Witold A. Pogorzelski, The Deduction Theorem for Lukasiewicz Many-Valued Propositional Calculi. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):605-606.
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.D. Bollman & M. Tapia - 1972 - Notre Dame Journal of Formal Logic 13 (1):124-128.
A note on Spector's quantifier-free rule of extensionality.Ulrich Kohlenbach - 2001 - Archive for Mathematical Logic 40 (2):89-92.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references