{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:12:23Z","timestamp":1760170343417},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228073"},{"type":"electronic","value":"9783540311829"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-31182-3_21","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T10:25:25Z","timestamp":1155810325000},"page":"237-250","source":"Crossref","is-referenced-by-count":41,"title":["Perception-Based Logical Deduction"],"prefix":"10.1007","author":[{"given":"Vil\u00e9m","family":"Nov\u00e1k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_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 (2002) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht"},{"volume-title":"Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications","year":"2000","key":"21_CR2","unstructured":"Da Ruan and Kerre E E (eds) (2000) Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Kluwer Academic Publishers, Boston"},{"issue":"1\u20132","key":"21_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0020-0255(92)90035-7","volume":"61","author":"D. Dubois","year":"1992","unstructured":"Dubois D, Prade H (1992) Gradual inference rules in approximate reasoning. Information Sciences, 61(1\u20132):103\u2013122","journal-title":"Information Sciences"},{"key":"21_CR4","volume-title":"Fuzzy Approach to Reasoning and Decision-Making","author":"D. Dubois","year":"1992","unstructured":"Dubois D, Prade H (1992) The Semantics of Fuzzy \u201cIF...THEN...\u201d Rules. In: Nov\u00e1k, V., Ram\u00edk, J., Mare\u0161, M., \u010cern\u00fd, M., Nekola, J. (eds) Fuzzy Approach to Reasoning and Decision-Making. Kluwer, Dordrecht; Academia, Praha"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0166-3615(03)00060-5","volume":"51","author":"A. Dvo\u0159\u00e1k","year":"2003","unstructured":"Dvo\u0159\u00e1k A, Habiballa H, Nov\u00e1k V, Pavliska V (2003) The concept of LFLC 2000 \u2014 its specificity, realization and power for applications. Computers in industry 51:269\u2013280","journal-title":"Computers in industry"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/s00500-003-0269-z","volume":"8","author":"A. Dvo\u0159\u00e1k","year":"2004","unstructured":"Dvo\u0159\u00e1k A, Nov\u00e1k V (2004) Fuzzy Logic Deduction with Crisp Observations. Soft Computing 8:256\u2013263","journal-title":"Soft Computing"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.fss.2003.06.003","volume":"143","author":"A. Dvo\u0159\u00e1k","year":"2004","unstructured":"Dvo\u0159\u00e1k A, Nov\u00e1k V (2004) Formal Theories and Linguistic Descriptions. Fuzzy Sets and Systems 143:169\u2013188","journal-title":"Fuzzy Sets and Systems"},{"key":"21_CR8","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 (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht"},{"key":"21_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9012-9","volume-title":"Topic-Focus Articulation, Tripartite Structures, and Semantic Content","author":"E. Haji\u010dov\u00e1","year":"1998","unstructured":"Haji\u010dov\u00e1, E., Partee, B. J., Sgall, P.: Topic-Focus Articulation, Tripartite Structures, and Semantic Content. Kluwer, Dordrecht 1998."},{"key":"21_CR10","volume-title":"Intensional and Higher-Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin D (1975) Intensional and Higher-Order Modal Logic (With Applications to Montague Semantics) North-Holland, Amsterdam"},{"key":"21_CR11","unstructured":"Materna P (1998) Concepts and Objects. Acta Philosophica Fennica 63, Helsinki"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0165-0114(01)00104-X","volume":"124","author":"V. Nov\u00e1k","year":"2001","unstructured":"Nov\u00e1k V (2001) Antonyms and Linguistic Quantifiers in Fuzzy Logic. Fuzzy Sets and Systems 124:335\u2013351","journal-title":"Fuzzy Sets and Systems"},{"key":"21_CR13","first-page":"630","volume-title":"Proc. Third Conf. EUSFLAT 2003","author":"V. Nov\u00e1k","year":"2003","unstructured":"Nov\u00e1k V (2003) Approximation Abilities of Perception-based Logical Deduction. Proc. Third Conf. EUSFLAT 2003, University of Applied Sciences at Zittau\/Goerlitz, Germany, 630\u2013635"},{"key":"21_CR14","first-page":"619","volume-title":"Proc. Third Conf. EUSFLAT 2003","author":"V. Nov\u00e1k","year":"2003","unstructured":"Nov\u00e1k, V.: From Fuzzy Type Theory to Fuzzy Intensional Logic. Proc. Third Conf. EUSFLAT 2003, University of Applied Sciences at Zittau\/Goerlitz, Germany 2003, 619\u2013623."},{"key":"21_CR15","first-page":"301","volume-title":"Fuzzy logic in geology","author":"V. Nov\u00e1k","year":"2003","unstructured":"Nov\u00e1k V (2003) Fuzzy logic deduction with words applied to ancient sea level estimation. In: Demicco R, Klir G J (eds) Fuzzy logic in geology. Academic Press, Amsterdam, 301\u2013336"},{"key":"21_CR16","first-page":"559","volume":"13","author":"V. Nov\u00e1k","year":"2003","unstructured":"Nov\u00e1k V (2003) Descriptions in Full Fuzzy Type Theory. Neural Network World 13:559\u2013569","journal-title":"Neural Network World"},{"key":"21_CR17","unstructured":"Nov\u00e1k V (to appear) On fuzzy type theory. Fuzzy Sets and Systems."},{"key":"21_CR18","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-1-4615-4513-2_10","volume-title":"Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications","author":"V. Nov\u00e1k","year":"2000","unstructured":"Nov\u00e1k V, Kov\u00e1\u0159 J (2000) Linguistic IF-THEN Rules in Large Scale Application of Fuzzy Control. In: Da Ruan and E E. Kerre (eds) Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Kluwer Academic Publishers, Boston, 223\u2013241"},{"volume-title":"Discovering World With Fuzzy Logic","year":"2000","key":"21_CR19","unstructured":"Nov\u00e1k V, Perfilieva I (eds) (2000) Discovering World With Fuzzy Logic. Springer-Verlag, Heidelberg"},{"key":"21_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k V, Perfilieva I, Mo\u010dko\u0159 J (1999) Mathematical Principles of Fuzzy Logic. Kluwer, Boston\/Dordrecht"},{"issue":"3","key":"21_CR21","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0165-0114(01)00107-5","volume":"124","author":"I. Perfilieva","year":"2001","unstructured":"Perfilieva, I., Normal Forms for Fuzzy Logic Functions and Their Approximation Ability, Fuzzy Sets and Systems 124(2001), No 3, pp. 371\u2013384.","journal-title":"Fuzzy Sets and Systems"},{"key":"21_CR22","volume-title":"The Meaning of the Sentence in Its Syntactic and Pragmatic Aspects","author":"P. Sgall","year":"1986","unstructured":"Sgall P, Haji\u010dov\u00e1 E, Panevov\u00e1 J (1986) The Meaning of the Sentence in Its Syntactic and Pragmatic Aspects. D. Reidel, Dordrecht"},{"key":"21_CR23","first-page":"4","volume-title":"Discovering World With Fuzzy Logic","author":"L. A. Zadeh","year":"2000","unstructured":"Zadeh L A (2000) Toward a Logic of Perceptions Based on Fuzzy Logic. In: Perfilieva I (eds) Discovering World With Fuzzy Logic. Springer-Verlag, Heidelberg [19], 4\u201328."},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0020-0255(71)80004-X","volume":"3","author":"L. A. Zadeh","year":"1973","unstructured":"Zadeh L A (1973) Quantitative Fuzzy Semantics. Inf.Sci. 3:159\u2013176","journal-title":"Inf.Sci."}],"container-title":["Advances in Soft Computing","Computational Intelligence, Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-31182-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:10:54Z","timestamp":1619572254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-31182-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540228073","9783540311829"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-31182-3_21","relation":{},"subject":[]}}