A Theory of Ambiguous Types and Its Axiomatizations

Mathematical Logic Quarterly 35 (6):495-514 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350605

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

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
On the role of language in social choice theory.Marc Pauly - 2008 - Synthese 163 (2):227 - 243.
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.
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.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Type Theory and Homotopy.Steve Awodey - unknown
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
2013-12-01

Downloads
14 (#993,044)

6 months
6 (#526,006)

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 metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.

Add more references