Using Hilbert's Calculus

Logique Et Analyse 33 (29):45 (1990)
  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,897

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

The Grammar of Platonism.Hartley Slater - 2016 - Logica Universalis 10 (4):533-541.
Über die Variationsrechnung in Hilberts Werken zur Analysis.Rüdiger Thiele - 1997 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 5 (1):23-42.
Using Hilbert's Calculus'.B. H. Slater - 1990 - Logique Et Analyse 129 (130):45-67.
Hilbert’s Epsilon Calculus and its Successors.B. H. Slater - 2009 - In ¸ Itegabbay2009. Elsevier. pp. 385--448.
Hilbert's Epsilon Calculus and its Successors.Barry Hartley Slater - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 385-448.
Intuitionistic system without contraction.G. Dardzania - 1977 - Bulletin of the Section of Logic 6 (1):2-6.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
Hilbert’s varepsilon -operator in intuitionistic type theories.John L. Bell - 1993 - Mathematical Logic Quarterly 39 (1):323--337.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Prior’s individuals.Hartley Slater - 2016 - Synthese 193 (11):3497-3506.

Analytics

Added to PP
2017-02-17

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

Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.
Quantifier/variable-binding.B. H. Slater - 2000 - Linguistics and Philosophy 23 (3):309-321.

Add more citations

References found in this work

No references found.

Add more references