|
|||||
|
|
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths |
|
| Authors: | KAMAREDDINE FAIROUZ; LAAN TWAN |
| Institution: | Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow G12 8QQ, Scotland E-mail: fairouz{at}dcs.gla.ac.uk Department of Mathematics and Computing Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-mail: laan{at}win.tue.nl |
| Abstract: | |
| Keywords: | The Hierarchies of Types orders and truth levels Principia's Substitution the restrictiveness of combining types and orders |
| 本文献已被 Oxford 等数据库收录！ | |