Global intuitionistic analysis

&
Annals of Pure and Applied Logic 31:307-339 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90075-8

Other Versions

No versions found

Links

PhilArchive



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

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

TAKEUTI, G. and TITANI, S., Global intuitionistic analysis.A. Tarski - 1986 - Annals of Pure and Applied Logic 31:341-342.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
The real-algebraic structure of Scott's model of intuitionistic analysis.Philip Scowcroft - 1984 - Annals of Pure and Applied Logic 27 (3):275-308.
Ceres in intuitionistic logic.David Cerna, Alexander Leitsch, Giselle Reis & Simon Wolfsteiner - 2017 - Annals of Pure and Applied Logic 168 (10):1783-1836.
Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut, Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.

Analytics

Added to PP
2014-01-16

Downloads
32 (#771,009)

6 months
7 (#592,519)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Natural Basis of Fuzzy Set Theory-an Overview.Mamoru Shimoda - 2004 - Annals of the Japan Association for Philosophy of Science 13 (1):59-70.

Add more citations

References found in this work

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.

Add more references