{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:29Z","timestamp":1725492389249},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72434-6_89","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:54:51Z","timestamp":1191938091000},"page":"876-884","source":"Crossref","is-referenced-by-count":2,"title":["EQ-Algebras in Progress"],"prefix":"10.1007","author":[{"given":"Vil\u00e9m","family":"Nov\u00e1k","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"89_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":"89_CR2","volume-title":"Lattices and Ordered Algebraic Structures","author":"T. Blyth","year":"2005","unstructured":"Blyth, T.: Lattices and Ordered Algebraic Structures. Springer, London (2005)"},{"key":"89_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"R.L.O. Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., D\u2019ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)"},{"key":"89_CR4","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s00153-002-0152-0","volume":"42","author":"P. Cintula","year":"2003","unstructured":"Cintula, P.: Advances in the \u0141\u03a0 and \u0141\n                    \n                      \n                    \n                    $\\Pi\\frac{1}{2}$\n                   logics. Archive of Math. Logic\u00a042, 449\u2013468 (2003)","journal-title":"Archive of Math. Logic"},{"key":"89_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"89_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L., Montagna, F.: The \u0141\u03a0. and \u0141\n                    \n                      \n                    \n                    $\\Pi\\frac{1}{2}$\n                   logics: two complete fuzzy systems joining \u0141ukasiewicz and product logics. Archive of Math. Logic\u00a040, 39\u201367 (2001)","journal-title":"Archive of Math. Logic"},{"key":"89_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"89_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. J. Symb. Logic\u00a015, 81\u201391 (1950)","journal-title":"J. Symb. Logic"},{"key":"89_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0165-0114(88)90080-2","volume":"27","author":"U. H\u00f6hle","year":"1988","unstructured":"H\u00f6hle, U.: Quotients with respect to similarity relations. Fuzzy Sets and Systems\u00a027, 31\u201334 (1988)","journal-title":"Fuzzy Sets and Systems"},{"key":"89_CR10","unstructured":"Kabzin\u0144ski, J., Wro\u0144ski, A.: On equivalential algebras. In: Proc. Int. Symp. Multiple-Valued Logic, Indiana University, Bloomington, USA, pp. 419\u2013428 (1975)"},{"key":"89_CR11","unstructured":"Nov\u00e1k, V.: Fuzzy Type Theory As Higher Order Fuzzy Logic. In: Proc. 6\n                    th\n                   Int. Conference on Intelligent Technologies (InTech\u201905), Bangkok, Thailand, Dec. 14-16, 2005, pp. 21\u201326 (2005)"},{"key":"89_CR12","doi-asserted-by":"publisher","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 and Systems\u00a0149, 235\u2013273 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"89_CR13","unstructured":"Nov\u00e1k, V.: EQ-algebras: primary concepts and properties. In: Proc. Czech-Japan Seminar, Ninth Meeting, Kitakyushu& Nagasaki, August 18\u201322, 2006, pp. 219\u2013223 (2006a)"},{"key":"89_CR14","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.fss.2005.10.010","volume":"157","author":"V. Nov\u00e1k","year":"2006","unstructured":"Nov\u00e1k, V.: Which logic is the real fuzzy logic? Fuzzy Sets and Systems\u00a0157, 635\u2013641 (2006b)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Advances in Soft Computing","Theoretical Advances and Applications of Fuzzy Logic and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72434-6_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:14:15Z","timestamp":1619518455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_89","relation":{},"subject":[]}}