Banishing the Rule of Substitution for Functional Variables

Journal of Symbolic Logic 20 (2):179-180 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266931

Links

PhilArchive



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

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

Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (2):179-180.
The rule of parametric substitution in protothetic.Janis Cirulis - 1985 - Bulletin of the Section of Logic 14 (4):134-137.
The Complexity of Propositional Proofs with the Substitution Rule.Alasdair Urquhart - 2005 - Logic Journal of the IGPL 13 (3):287-291.
The Unique Intermediate Logic Whose Every Rule is Archetypal.Tomasz Polacik - 2005 - Logic Journal of the IGPL 13 (3):269-275.
Quasi-strongly Finite Sentential Calculi.Zdzislaw Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.
Comparing and implementing calculi of explicit substitutions with eta-reduction.Mauricio Ayala-Rincón, Flávio L. C. de Moura & Fairouz Kamareddine - 2005 - Annals of Pure and Applied Logic 134 (1):5-41.
On Spohn’s rule for revision of beliefs.Prakash P. Shenoy - 1991 - International Journal of Approximate Reasoning 5 (2):149-181.
The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs.Andrzej Biela - 1984 - Bulletin of the Section of Logic 13 (2):69-72.
Relational treatment of term graphs with bound variables.W. Kahl - 1998 - Logic Journal of the IGPL 6 (2):259-303.
Functional dependencies between variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.
Note on the scope of truth-functional logic.David Sherry - 1999 - Journal of Philosophical Logic 28 (3):327-328.
Substitutions for predicate variables and functional variables.Hubert H. Schneider - 1980 - Notre Dame Journal of Formal Logic 21 (1):33-44.
On Spohn's theory of epistemic beliefs.Prakash P. Shenoy - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 1--13.
Cartwright, Giorgione, and the Principle of Substitutivity.Thomas R. Foster - 1979 - Philosophy Research Archives 5:235-241.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,172,872)

6 months
4 (#793,623)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.

Add more citations

References found in this work

No references found.

Add more references