{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:49Z","timestamp":1759032949650},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668260"},{"type":"electronic","value":"9783319668277"}],"license":[{"start":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T00:00:00Z","timestamp":1504137600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-66827-7_3","type":"book-chapter","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T04:32:16Z","timestamp":1504067536000},"page":"25-37","source":"Crossref","is-referenced-by-count":7,"title":["Towards Fuzzy Type Theory with Partial Functions"],"prefix":"10.1007","author":[{"given":"Vil\u00e9m","family":"Nov\u00e1k","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,31]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9934-4","volume-title":"An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof","author":"P Andrews","year":"2002","unstructured":"Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural Semantics for Hyperintensional Logic","author":"M Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic. Springer, Dordrecht (2010)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1007\/s00500-009-0491-4","volume":"14","author":"M El-Zekey","year":"2009","unstructured":"El-Zekey, M.: Representable good EQ-algebras. Soft Comput. 14, 1011\u20131023 (2009)","journal-title":"Soft Comput."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2011.05.011","volume":"178","author":"M El-Zekey","year":"2011","unstructured":"El-Zekey, M., Nov\u00e1k, V., Mesiar, R.: On good EQ-algebras. Fuzzy Sets Syst. 178, 1\u201323 (2011)","journal-title":"Fuzzy Sets Syst."},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.2307\/2274487","volume":"55","author":"WM Farmer","year":"1990","unstructured":"Farmer, W.M.: A partial functions version of Church\u2019s simple theory of types. J. Symb. Log. 55, 1269\u20131291 (1990)","journal-title":"J. Symb. Log."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1305\/ndjfl\/1093634484","volume":"33","author":"S Lappiere","year":"1992","unstructured":"Lappiere, S.: A functional partial semantics for intensional logic. Notre Dame J. Form. Log. 33, 517\u2013541 (1992)","journal-title":"Notre Dame J. Form. Log."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1305\/ndjfl\/1093634483","volume":"33","author":"F Lepage","year":"1992","unstructured":"Lepage, F.: Partial functions in type theory. Notre Dame J. Form. Log. 33, 493\u2013516 (1992)","journal-title":"Notre Dame J. Form. Log."},{"key":"3_CR8","first-page":"559","volume":"5","author":"V Nov\u00e1k","year":"2003","unstructured":"Nov\u00e1k, V.: Descriptions in the full fuzzy type theory. Neural Netw. World 5, 559\u2013565 (2003)","journal-title":"Neural Netw. World"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.fss.2004.03.027","volume":"149","author":"V Nov\u00e1k","year":"2005","unstructured":"Nov\u00e1k, V.: On fuzzy type theory. Fuzzy Sets Syst. 149, 235\u2013273 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1093\/jigpal\/jzp087","volume":"19","author":"V Nov\u00e1k","year":"2011","unstructured":"Nov\u00e1k, V.: EQ-algebra-based fuzzy type theory and its extensions. Log. J. IGPL 19, 512\u2013542 (2011)","journal-title":"Log. J. IGPL"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k, V.: Fuzzy type theory, descriptions, and partial functions. In: Galichet, S., Montero, J., Mauris, G. (eds.) Proceedings of 7th International Conference EUSFLAT-2011 and LFA-2011, pp. 189\u2013195. Atlantis Press, Amsterdam (2011)","DOI":"10.2991\/eusflat.2011.59"},{"key":"3_CR12","unstructured":"Nov\u00e1k, V.: Fuzzy type theory with partial functions. Fuzzy Sets Syst. (submitted)"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"2956","DOI":"10.1016\/j.fss.2009.04.010","volume":"160","author":"V Nov\u00e1k","year":"2009","unstructured":"Nov\u00e1k, V., de Baets, B.: EQ-algebras. Fuzzy Sets Syst. 160, 2956\u20132978 (2009)","journal-title":"Fuzzy Sets Syst."},{"key":"3_CR14","doi-asserted-by":"crossref","DOI":"10.1002\/9781119193210","volume-title":"Insight into Fuzzy Modeling","author":"V Nov\u00e1k","year":"2016","unstructured":"Nov\u00e1k, V., Perfilieva, I., Dvo\u0159\u00e1k, A.: Insight into Fuzzy Modeling. Wiley, Hoboken (2016)"},{"key":"3_CR15","first-page":"59","volume":"14","author":"P Tich\u00fd","year":"1982","unstructured":"Tich\u00fd, P.: Foundations of partial type theory. Rep. Math. Log. 14, 59\u201372 (1982)","journal-title":"Rep. Math. Log."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Fuzzy Logic and Technology 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66827-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T22:42:19Z","timestamp":1570056139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66827-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,31]]},"ISBN":["9783319668260","9783319668277"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66827-7_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,8,31]]}}}