On Theses of the First‐Order Functional Calculus

Mathematical Logic Quarterly 7 (11‐14):175-184 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19610071105

Links

PhilArchive



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

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 on theses of the first-order functional calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
On Generalization of the Satisfiability Definition and Proof Rules With Remarks to my Paper: On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1962 - Mathematical Logic Quarterly 8 (3‐4):267-276.
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.
Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (2):194-194.
About Connection of the First‐Order Functional Calculus With Many Valued Propositional Calculi.Juliusz Reichbach - 1963 - Mathematical Logic Quarterly 9 (8‐9):117-124.
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.
Review: Juliusz Reichbach, On the First-Order Functional Calculus and the Truncation of Models. [REVIEW]Gebhard Fuhrken - 1959 - Journal of Symbolic Logic 24 (1):61-61.
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 modelsO węższym Rachunku Funkcyjnym i Ucinaniu ModeliОб Узком Функциональном Исчислении И Срезывании Моделей.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181-220.
Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
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.

Analytics

Added to PP
2013-12-01

Downloads
11 (#1,133,540)

6 months
4 (#778,909)

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

View all 8 references / Add more references