Die Elimination des Unendlichkeitstheorems in einem intensionalen Kalkül

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1):129-133 (1955)
  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,610

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

Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
Aussagesatz und Sachverhalt.Hermann Weidemann - 1982 - Grazer Philosophische Studien 18 (1):75-99.
Sokrates im Gespräch mit einem politischen Fanatiker und einem abergläubischen Feldherrn.Andreas Brüschweiler - 2011 - Würzburg: Königshausen & Neumann.
The elimination argument.Andrew M. Bailey - 2014 - Philosophical Studies 168 (2):475-482.
Die Freiheit ist konkret. Skizzen zu einem theologischen Beitrag in einem interdisziplinären Gespräch.Michael Weinrich - 1978 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 20 (3):253-277.
Tradition und Aufbruch. Randbemerkungen zu einem programmatischen »und« an der Schwelle zu einem neuen Jahrhundert.Inge Lønning - 1996 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 38 (3):329-334.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
GUZZONI, Ute Uber Natur. Aufzeichnungen unterwegs: zu einem anderen Naturverhältnis Verlag Karl Alber, Freiburg/Munic, 1995 Wendungen. Versuche zu einem nicht identifizierenden Denken Verlag Karl Alber, Freiburg/Munic, 1982. [REVIEW]Marta Tafalla - 1997 - Enrahonar: Quaderns de Filosofía 28:205-207.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Effective Cut-elimination for a Fragment of Modal mu-calculus.Grigori Mints - 2012 - Studia Logica 100 (1-2):279-287.
Saarnios epistemische Notation,«Lambertinis Kalkül» und das Interpretationsproblem.Heinz W. Enders - 1992 - Wissenschaft Und Weisheit 55 (2-3):162-199.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Review: Hugo Bergmann, Maimons Logischer Kalkul. [REVIEW]Charles A. Baylis - 1939 - Journal of Symbolic Logic 4 (4):168-168.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.

Analytics

Added to PP
2013-12-01

Downloads
1 (#1,898,331)

6 months
1 (#1,463,894)

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references