On the first-order functional calculus and the truncation of modelsO węższym Rachunku Funkcyjnym i Ucinaniu ModeliОб Узком Функциональном Исчислении И Срезывании Моделей

Studia Logica 7 (1):181-220 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02548938

Links

PhilArchive



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

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

On the first-order functional calculus and the truncation of models.Juliusz Reichbach - 1958 - Studia Logica 7 (1):181 - 220.
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.
Systems of the propositional and of the functional calculus based on one primitive termSystemy rachunku zdań i rachunku funkcyjnego o jednym terminie pierwotnymСистемы исчисления предложений и функционального исчисления, содержащие один первичный термин.Ludwik Borkowski - 1957 - Studia Logica 6 (1):7-55.
Definiowalność Klas grafów W węższym rachunku predykatów Z identycznością.L. Koncewicz - 1973 - Studia Logica 32 (1):189-190.
On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11‐14):175-184.
On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
A note on theses of the first-order functional calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
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.
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 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.
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.

Analytics

Added to PP
2014-01-24

Downloads
19 (#753,814)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11‐14):175-184.
On Theses of the First‐Order Functional Calculus.Juliusz Reichbach - 1961 - Mathematical Logic Quarterly 7 (11-14):175-184.

Add more citations

References found in this work

Add more references