The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
Mares, Edwin D.
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 237-251 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
Publié le : 2007-04-14
Classification:  Bertrand Russell,  higher-order logic,  logicism,  03B15,  03C85 
@article{1179323266,
     author = {Mares, Edwin D.},
     title = {The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 237-251},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1179323266}
}

Mares, Edwin D. The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  237-251. http://gdmltest.u-ga.fr/item/1179323266/