Intuitionistic Logic and Local Mathematical Theories

Mathematical Logic Quarterly 23 (27‐30):411-414 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1977

DOI

10.1002/malq.19770232704

Other Versions

original Gauthier, Yvon (1977) "Intuitionistic Logic and Local Mathematical Theories". Mathematical Logic Quarterly 23(27-30):411-414

Links

PhilArchive



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

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

Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3-6):93-96.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul Carl Gilmore - 1953 - Amsterdam,: Drukkerij Holland.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.
Sheffer Functions in Intuitionistic Logic.G. Rousseau - 1968 - Mathematical Logic Quarterly 14 (18):279-282.
Non‐commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (4):297-318.
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Mathematical Logic Quarterly 36 (1):17-21.

Analytics

Added to PP
2013-11-24

Downloads
10 (#1,509,169)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yvon Gauthier
Université de Montréal

Citations of this work

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.

Add more references