Functional completeness of Henkin's propositional fragments

Notre Dame Journal of Formal Logic 1 (3):107-110 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956551

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

Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
Fragments of the propositional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
On the independence of Henkin's axioms for fragments of the propositional calculus.Maurice L'abbé - 1951 - Journal of Symbolic Logic 16 (1):43-45.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Strong completeness of fragments of the propositional calculus.Alan Rose - 1951 - Journal of Symbolic Logic 16 (3):204.
Investigation into certain implication-negation fragments of propositional logic.Lung-ock Chung - unknown
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.
Functional completeness for subsystems of intuitionistic propositional logic.Heinrich Wansing - 1993 - Journal of Philosophical Logic 22 (3):303 - 321.
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.
A note on generalized functional completeness in the realm of elementrary logic.Henri Galinon - 2009 - Bulletin of the Section of Logic 38 (1/2):1-9.
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.

Analytics

Added to PP
2010-08-24

Downloads
17 (#795,850)

6 months
1 (#1,346,405)

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