Completeness of Global Intuitionistic Set Theory

Journal of Symbolic Logic 62 (2):506-528 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

  • This entry has no external links. Add one.
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

Completeness of global intuitionistic set theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.
Review: Satoko Titani, An Algebraic Formulation of Cut-Elimination Theorem. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (1):145-146.
Satoko Titani. An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan, vol. 17 , pp. 72–83. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (1):145-146.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
TAKEUTI, G. and TITANI, S., Global intuitionistic analysis.A. Tarski - 1986 - Annals of Pure and Applied Logic 31:341-342.
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
The consistency of classical set theory relative to a set theory with intuitionistic logic.Harvey Friedman - 1973 - Journal of Symbolic Logic 38 (2):315-319.
Intuitionistic modal logic and set theory.K. Lano - 1991 - Journal of Symbolic Logic 56 (2):497-516.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

A lattice-valued set theory.Satoko Titani - 1999 - Archive for Mathematical Logic 38 (6):395-421.
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

No references found.

Add more references