A weak ramified type theory

In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information (1968)
  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: 91,322

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

A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
Cumulative versus Noncumulative Ramified Types.Anthony F. Peressini - 1997 - Notre Dame Journal of Formal Logic 38 (3):385-397.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
The logic of first order intuitionistic type theory with weak sigma- elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
The incorporation of Moorean type information by introspective agents.Jiahong Guo - 2009 - Frontiers of Philosophy in China 4 (3):470-482.
A refinement of de bruijn's formal language of mathematics.Fairouz Kamareddine & Rob Nederpelt - 2004 - Journal of Logic, Language and Information 13 (3):287-340.
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.

Analytics

Added to PP
2014-01-26

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references