Alternative forms of propositional calculus for a given deduction theorem

Notre Dame Journal of Formal Logic 20 (3):613-619 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882668

Links

PhilArchive



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

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

A note on deduction theorem for gödel's propositional calculus G.Ewa Żarnecka-Biaŀy - 1968 - Studia Logica 23 (1):35 - 41.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.

Analytics

Added to PP
2010-08-24

Downloads
27 (#587,064)

6 months
15 (#164,728)

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

No references found.

Add more references