A note on theses of the first-order functional calculus

Notre Dame Journal of Formal Logic 9 (4):335-339 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893520

Links

PhilArchive



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

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 to my paper: "On characterizations of the first-order functional calculus".Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (4):251-252.
A note about connection of the first-order functional calculus with many-valued propositional calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
On the first-order functional calculus and the truncation of models.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181 - 220.
On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
First-order functional calculus.Geoffrey Bourton Keene - 1963 - New York,: Dover Publications.
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.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.
A functional calculus of first order based on strict implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
The identity of individuals in a strict functional calculus of second order.Ruth C. Barcan - 1947 - Journal of Symbolic Logic 12 (1):12-15.
On the rules of proof in the pure functional calculus of the first order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.

Analytics

Added to PP
2010-08-24

Downloads
9 (#1,154,504)

6 months
3 (#760,965)

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