New proofs of some intuitionistic principles

&
Mathematical Logic Quarterly 29 (10):493-504 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830291004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Review: J. Lambek, P. J. Scott, Introduction to Higher Order Categorical Logic. [REVIEW]J. L. Bell - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (1):11-15.
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
Curry–Howard–Lambek Correspondence for Intuitionistic Belief.Cosimo Perini Brogi - 2021 - Studia Logica 109 (6):1441-1461.
Decidability of Some Extensions of J.R. I. Goldblatt - 1974 - Mathematical Logic Quarterly 20 (13‐18):203-206.
Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.

Analytics

Added to PP
2013-12-01

Downloads
18 (#1,109,160)

6 months
5 (#1,035,700)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references