- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata.Zhou Senhai - manuscript
Minimal Consequence: A Semantic Approach to Reasoning with Incomplete Information.Mary-Angela Papalaskari - 1988 - Dissertation, The University of Edinburgh (United Kingdom)
Epimorphisms and Acyclic Types in Univalent Foundations.Ulrik Buchholtz, Tom de Jong & Egbert Rijke - forthcoming - Journal of Symbolic Logic.
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
An Intensional Type Theory: Motivation and Cut-Elimination.Paul C. Gilmore - 2001 - Journal of Symbolic Logic 66 (1):383-400.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Planar Graphs with Separation Are dp-Minimal.Javier de la Nuez González - 2025 - Notre Dame Journal of Formal Logic 66 (1):57-78.
Related Graphical Frameworks: Undircted, Directed Acyclic and Chain Graph Models.Christopher Meek - unknown
Truth, Predication and a Family of Contingent Paradoxes.Francesco Orilia & Gregory Landini - 2019 - Journal of Philosophical Logic 48 (1):113-136.
Analytics
Added to PP
2017-03-20
Downloads
1,699 (#10,104)
6 months
249 (#13,362)
2017-03-20
Downloads
1,699 (#10,104)
6 months
249 (#13,362)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-786669fdf6-qjpdw uwo