A variant of the proof of completeness of first order functional calculus

Studia Logica 12:125 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02126825

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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 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.
A Deterministic Terminating Sequent Calculus For Gödel-dummett Logic.R. Dyckhoff - 1999 - Logic Journal of the IGPL 7 (3):319-326.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Completeness and representation theorem for epistemic states in first-order predicate calculus.Serge Lapierre & François Lepage - 1999 - Logica Trianguli 3:85-109.
Generalization in first-order logic.Hugues Leblanc - 1979 - Notre Dame Journal of Formal Logic 20 (4):835-857.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
Completeness of the functional calculus of first order.J. Reichbach - 1955 - Studia Logica 2 (1):245-250.
Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Completeness of the Functional Calculus of First Order.Juliusz Reichbach - 1956 - Journal of Symbolic Logic 21 (2):194-194.
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.
Intuitionistic system without contraction.G. Dardzania - 1977 - Bulletin of the Section of Logic 6 (1):2-6.

Analytics

Added to PP
2009-01-28

Downloads
33 (#485,571)

6 months
1 (#1,474,534)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references