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.

Categories

Keywords

Reprint years

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.

My notes

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.
Minimal Consequence: A Semantic Approach to Reasoning with Incomplete Information.Mary-Angela Papalaskari - 1988 - Dissertation, The University of Edinburgh (United Kingdom)
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.
On best transitive approximations to simple graphs.Leon Horsten - unknown
Imperatives and Logical Consequence.Hannah Clark-Younger - unknown
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.

Analytics

Added to PP
2017-03-20

Downloads
818 (#18,863)

6 months
138 (#26,837)

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