Intuitionistic Logic and Local Mathematical Theories

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19770232704

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Intuitionistic Logic and Local Mathematical Theories.Yvon Gauthier - 1976 - Mathematical Logic Quarterly 23 (27‐30):411-414.
The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic.Paul C. Gilmore - 1953 - Amsterdam,: Drukkerij Holland.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
Intuitionistic fixed point theories over set theories.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (5-6):531-553.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.

Analytics

Added to PP
2016-02-04

Downloads
29 (#535,100)

6 months
4 (#818,853)

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.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references