The Completeness of the First-Order Functional Calculus

Journal of Symbolic Logic 15 (1):68-68 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268460

Links

PhilArchive



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

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

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Henkin Leon. The completeness of the first-order functional calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
Review: Leon Henkin, The Completeness of the First-Order Functional Calculus. [REVIEW]W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (2):194-194.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Completeness and representation theorem for epistemic states in first-order predicate calculus.Serge Lapierre & François Lepage - 1999 - Logica Trianguli 3:85-109.
Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
A variant of the proof of completeness of first order functional calculus.J. Slupecki - 1961 - Studia Logica 12:125.
Completeness of the Functional Calculus of First Order.Juliusz Reichbach - 1956 - Journal of Symbolic Logic 21 (2):194-194.
A Variant of the Proof of the Completeness of the First Order Functional Calculus.Jerzy Slupecki & Witold A. Pogorzelski - 1971 - Journal of Symbolic Logic 36 (4):688-689.
Review: Jerzy Slupecki, Witold A. Pogorzelski, A Variant of the Proof of the Completeness of the First Order Functional Calculus. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
A Deterministic Terminating Sequent Calculus For Gödel-dummett Logic.R. Dyckhoff - 1999 - Logic Journal of the IGPL 7 (3):319-326.
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.

Analytics

Added to PP
2017-02-21

Downloads
9 (#1,246,467)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Eligibility and inscrutability.J. Robert G. Williams - 2007 - Philosophical Review 116 (3):361-399.
Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references