Intuitionistic typical ambiguity

Archive for Mathematical Logic 31 (3):171-182 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01269945

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

Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
Typical ambiguity: Trying to have your cake and eat it too.Solomon Feferman - manuscript
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Finite sets and natural numbers in intuitionistic TT without extensionality.Daniel Dzierzgowski - 1998 - Studia Logica 61 (3):417-428.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
Constants in Kripke Models for Intuitionistic Logic.Daniel Dzierzgowski - 1995 - Mathematical Logic Quarterly 41 (4):431-441.
Typical ambiguity and the axiom of choice.Marcel Crabbé - 1984 - Journal of Symbolic Logic 49 (4):1074-1078.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Jaffray’s ideas on ambiguity.Peter P. Wakker - 2011 - Theory and Decision 71 (1):11-22.
Ambiguity, generality, and indeterminacy: Tests and definitions. [REVIEW]Brendan S. Gillon - 1990 - Synthese 85 (3):391 - 416.
Absoluteness of intuitionistic logic.Daniel Maurice Raphaël Leivant - 1975 - Amsterdam: Mathematisch Centrum.

Analytics

Added to PP
2013-11-23

Downloads
15 (#919,495)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1973 - Atlantic Highlands, NJ, USA: Elsevier.
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
Some properties of intuitionistic Zermelo-Frankel set theory.John Myhill - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 206--231.
On nfu.Marcel Crabbé - 1991 - Notre Dame Journal of Formal Logic 33 (1):112-119.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.

View all 7 references / Add more references