EQ and the First Order Functional Calculus

Journal of Symbolic Logic 36 (3):520-520 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269969

Links

PhilArchive



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

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

EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
Review: Nuel D. Belnap, EQ and the First Order Functional Calculus. [REVIEW]Stig Kanger - 1971 - Journal of Symbolic Logic 36 (3):520-520.
On the connections of the first-order functional calculus with [Symbol] o propositional calculus.Juliusz Reichbach - 1965 - Notre Dame Journal of Formal Logic 6:73.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
$H^\infty $ functional calculus for an elliptic operator on a half-space with general boundary conditions.Giovanni Dore & Alberto Venni - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):487-543.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
First-Order Functional Calculus.John N. Crossley - 1965 - Philosophical Quarterly 15 (61):370-371.
Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
First-Order Functional Calculus.William E. Gould - 1971 - Journal of Symbolic Logic 36 (1):167-168.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Completeness of the Functional Calculus of First Order.Juliusz Reichbach - 1956 - Journal of Symbolic Logic 21 (2):194-194.
A New Proof of Decidability of First-Order Functional Calculus.Leon Gumański - 2008 - Ruch Filozoficzny 65 (3).
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
A variant of the proof of completeness of first order functional calculus.J. Slupecki - 1961 - Studia Logica 12:125.

Analytics

Added to PP
2017-02-21

Downloads
6 (#1,461,295)

6 months
4 (#790,314)

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