Minimal Type Theory (MTT)

Abstract

Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.

Links

PhilArchive

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

  • Only published works are available at libraries.

Similar books and articles

Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
Liar-type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
“Setting” n-Opposition.Régis Pellissier - 2008 - Logica Universalis 2 (2):235-263.
Reverse Mathematics and the Coloring Number of Graphs.Matthew Jura - 2016 - Notre Dame Journal of Formal Logic 57 (1):27-44.
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.

Analytics

Added to PP
2017-03-20

Downloads
766 (#19,349)

6 months
108 (#33,704)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references