Infinitary propositional intuitionistic logic

Notre Dame Journal of Formal Logic 21 (2):216-228 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883041

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,031

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

Nonstandard connectives of intuitionistic propositional logic.Michael Kaminski - 1988 - Notre Dame Journal of Formal Logic 29 (3):309-331.
On modal renderings of intuitionistic propositional logic.Nicholas Rescher - 1966 - Notre Dame Journal of Formal Logic 7 (3):277-280.
A species-algebraic interpretation of the intuitionistic propositional calculus.Jekeri Okee - 1976 - Notre Dame Journal of Formal Logic 17 (2):222-232.
The completeness of intuitionistic propositional calculus for its intended interpretation.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):17-28.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
Some remarks on equivalence in infinitary and stationary logic.Matt Kaufmann - 1984 - Notre Dame Journal of Formal Logic 25 (4):383-389.
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
On strengthening intuitionistic logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.

Analytics

Added to PP
2010-08-24

Downloads
32 (#736,711)

6 months
8 (#388,055)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Infinitary intuitionistic logic from a classical point of view.Mark E. Nadel - 1978 - Annals of Mathematical Logic 14 (2):159-191.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references