Source: http://ijfs.usb.ac.ir/article_4538.html
Timestamp: 2019-04-23 16:32:21+00:00

Document:
theory of FTT with partial functions has a model.
 P. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Kluwer, Dordrecht, 2002.
Danvers, USA, 2015, pp. 139–144.
 A. Bochvar, On a three-valued calculus and its application to analysis of paradoxes of classical extended functional calculus, History and Philosophy of Logic 2 (1981), 87–112.
 M. Duˇz´ı, B. Jespersen, P. Materna, Procedural Semantics for Hyperintensional Logic, Springer, Dordrecht, 2010.
 M. El-Zekey, Representable good EQ-algebras, Soft Computing 14 (2009), 1011–1023.
 W. M. Farmer, A partial functions version of Church’s simple theory of types, Journal of Symbolic Logic 55 (1990), 1269–1291.
 P. H´ajek, P. Cintula, On theories and models in fuzzy predicate logics, Journal of Symbolic Logic 71(3) (2006), 863–880.
 S. Lapierre, A Functional Partial Semantics for Intensional Logic, Notre Dame Journal of Formal Logic 33 (1992), 517–541.
 F. Lepage, Partial functions in type theory, Notre Dame Journal of Formal Logic 33 (1992), 493–516.
 P. Materna, Concepts and Objects, Acta Philosophica Fennica 63, Helsinki, 1998.
 V. Nov´ak, Descriptions in the full fuzzy type theory, Neural Network World 5 (2003), 559–565.
 V. Nov´ak, On fuzzy type theory, Fuzzy Sets and Systems 149 (2005), 235–273.
 V. Nov´ak, A comprehensive theory of trichotomous evaluative linguistic expressions, Fuzzy Sets and Systems 159(22) (2008), 2939–2969.
 V. Nov´ak, EQ-algebra-based fuzzy type theory and its extensions, Logic Journal of the IGPL 19 (2011), 512–542.
 V. Nov´ak, B. de Baets, EQ-algebras, Fuzzy Sets and Systems 160 (2009), 2956–2978.
 V. Nov´ak, I. Perfilieva, A. Dvoˇr´ak, Insight into Fuzzy Modeling, Wiley & Sons, Hoboken, New Jersey, 2016.
 P. Tich´y, Foundations of partial type theory, Reports on Mathematical Logic 14 (1982), 59–72.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V.