A Theory of Ambiguous Types and Its Axiomatizations

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):495-514 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19890350605

Links

PhilArchive



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

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

A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.
The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):299-300.
Axiomatization of set theory by extensionality, separation, and reducibility.Harvey Friedman - manuscript
Content & Watkins's account of natural axiomatizations.Ken Gemes - 2006 - Dialectica 60 (1):85–92.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Extensional Equality in the Classical Theory of Types.William Tait - 1995 - Vienna Circle Institute Yearbook 3:219-234.
On the role of language in social choice theory.Marc Pauly - 2008 - Synthese 163 (2):227 - 243.
New axiomatizations of Vern.David B. Martens - 2002 - Logica Trianguli 6:21-24.
Strange couplings and space-time structure.Steven Weinstein - 1996 - Philosophy of Science 63 (3):70.
Causal inference of ambiguous manipulations.Peter Spirtes & Richard Scheines - 2004 - Philosophy of Science 71 (5):833-845.
Type Theory and Homotopy.Steve Awodey - unknown
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
On qualitative axiomatizations for probability theory.Louis Narens - 1980 - Journal of Philosophical Logic 9 (2):143 - 151.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.

Analytics

Added to PP
2015-12-02

Downloads
21 (#737,450)

6 months
4 (#790,339)

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

Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references