Elementary Completeness Properties of Intuitionistic Logic with a Note on Negations of Prenex Formulae

Journal of Symbolic Logic 32 (2):282-283 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271714

Links

PhilArchive



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

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

Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (3):317-330.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
Negational Fragment of Intuitionistic Control Logic.Anna Glenszczyk - 2015 - Studia Logica 103 (6):1101-1121.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
A short note on intuitionistic propositional logic with multiple conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Substructural Negations.Takuro Onishi - 2015 - Australasian Journal of Logic 12 (4).
Constants in Kripke Models for Intuitionistic Logic.Daniel Dzierzgowski - 1995 - Mathematical Logic Quarterly 41 (4):431-441.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,407,610)

6 months
1 (#1,508,101)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.

Add more citations

References found in this work

No references found.

Add more references