{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:13:49Z","timestamp":1743084829941,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":45,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387747583"},{"type":"electronic","value":"9780387747590"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-74759-0_65","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T11:04:41Z","timestamp":1219662281000},"page":"359-369","source":"Crossref","is-referenced-by-count":0,"title":["Checklist Paradigm Semantics for Fuzzy Logics"],"prefix":"10.1007","author":[{"given":"Ladislav J.","family":"Kohout","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"65_CR1_65","volume-title":"Internat. Workshop on Fuzzy Reasoning Theory and Appl.","author":"W. Bandler","year":"1978","unstructured":"Bandler W, Kohout LJ (1978) Fuzzy relational products and fuzzy implication operators. Internat. Workshop on Fuzzy Reasoning Theory and Appl. Queen Mary College Univ. London, London"},{"key":"65_CR2_65","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0165-0114(80)90060-3","volume":"4","author":"W. Bandler","year":"1980","unstructured":"Bandler W, Kohout LJ (1980) Fuzzy power sets and fuzzy implication operators. Fuzzy Sets and Systems 4:13\u201330. Reprinted in: Dubois D, Prade H, Yager R (eds) (1993) Readings in Fuzzy Sets for Intelligent Systems. Morgan Kaufmann, San MAteo, CA, pp 88\u201396","journal-title":"Fuzzy Sets and Systems"},{"key":"65_CR3_65","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0020-7373(80)80055-1","volume":"12","author":"W. Bandler","year":"1980","unstructured":"Bandler W, Kohout LJ (1980) Semantics of implication operators and fuzzy relational products. Internat J Man-Machine Studies 12:89\u2013116 Reprinted in: Mamdani EH, Gaines BR (eds) (1981) Fuzzy Reasoning and its Applications. Acad Press, New York, pp 219\u2013246","journal-title":"Internat. J. Man-Machine Studies"},{"key":"65_CR4_65","first-page":"581","volume-title":"Cybernetics and Systems Res., vol\u00a02","author":"W. Bandler","year":"1984","unstructured":"Bandler W, Kohout LJ (1984) The four modes of inference in fuzzy expert systems. In: Trappl R (ed) Cybernetics and Systems Res, vol\u00a02. North-Holland, Amsterdam, pp 581\u2013586"},{"key":"65_CR5_65","unstructured":"Bandler W, Kohout LJ (1984) Unified theory of multiple-valued logical operators in the light of the checklist paradigm. In: Proc 1984 IEEE Conf Systems, Man Cybern, IEEE, New York, pp 356\u2013364"},{"key":"65_CR6_65","first-page":"767","volume-title":"Approximate Reasoning in Expert Systems","author":"W. Bandler","year":"1985","unstructured":"Bandler W, Kohout LJ (1985) The interrelations of the principal fuzzy logical operators. In: Gupta MM Kandel A, Bandler W, Kiszka JB (eds) Approximate Reasoning in Expert Systems. North-Holland, Amsterdam, pp 767\u2013780"},{"key":"65_CR7_65","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0020-7373(85)80008-0","volume":"22","author":"W. Bandler","year":"1985","unstructured":"Bandler W, Kohout LJ (1985) Probabilistic vs. fuzzy production rules in expert systems. Internat J Man-Machine Studies 22:347\u2013353","journal-title":"Internat. J. Man-Machine Studies"},{"key":"65_CR8_65","first-page":"95","volume-title":"Fuzzy Logic in Knowledge Engineering","author":"W. Bandler","year":"1986","unstructured":"Bandler W, Kohout LJ (1986) The use of checklist paradigm in inference systems. In: Negoita CV, Prade H (eds) Fuzzy Logic in Knowledge Engineering. T\u00dcV Rheinland, K\u00f6ln, pp\u00a095\u2013111"},{"key":"65_CR9_65","volume-title":"Knowledge-Based Systems for Multiple Environments","author":"B. Ben-Ahmeida","year":"1992","unstructured":"Ben-Ahmeida B, Kohout LJ, Bandler W (1992) The use of fuzzy relational products in comparison and verification of correctness of knowledge structures. In: Kohout LJ, Anderson J, Bandler W (eds) Knowledge-Based Systems for Multiple Environments. Ashgate Publ. (Gower), Aldershot, Hampshire, UK"},{"key":"65_CR10_65","volume-title":"Fuzzy sets and systems: Theory and applications","author":"D. Dubois","year":"1980","unstructured":"Dubois D, Prade H (1980) Fuzzy sets and systems: Theory and applications. Acad Press, New York"},{"issue":"1","key":"65_CR11_65","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0165-0114(91)90050-Z","volume":"40","author":"D. Dubois","year":"1991","unstructured":"Dubois D, Prade H (1991) Fuzzy sets in approximate reasoning, Part I: Inference with possibility distributions. Fuzzy Sets and Systems 40(1):143\u2013202","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"65_CR12_65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0020-7373(78)80030-3","volume":"10","author":"P. H\u00e1jek","year":"1978","unstructured":"H\u00e1jek P (1978) Special issue on GUHA method. Internat J Man-Machine Studies 10(1):1\u201393 (guest editor).","journal-title":"Internat. J. Man-Machine Studies"},{"key":"65_CR13_65","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (1981) Special issue on GUHA method. Internat J Man-Machine Studies 15: (guest editor)","DOI":"10.1016\/S0020-7373(81)80008-9"},{"key":"65_CR14_65","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66943-9","volume-title":"Mechanizing hypothesis formation: Mathematical foundations of a\u00a0general theory","author":"P. H\u00e1jek","year":"1978","unstructured":"H\u00e1jek P, Havr\u00e1nek T (1978) Mechanizing hypothesis formation: Mathematical foundations of a\u00a0general theory. Springer, Berlin"},{"issue":"3","key":"65_CR15_65","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1142\/S0218488596000135","volume":"4","author":"P. H\u00e1jek","year":"1996","unstructured":"H\u00e1jek P, Kohout LJ (1996) Fuzzy implications and generalized quantifiers. Internat J Uncertainty, Fuzziness and Knowledge Based Systems 4(3):225\u2013233","journal-title":"Internat. J. Uncertainty, Fuzziness and Knowledge Based Systems"},{"key":"65_CR16_65","volume-title":"Infinite-valued logic based of two-valued logic and probability. Pt. 1.4 The TEE model for grades of membership","author":"E. Hisdal","year":"1990","unstructured":"Hisdal E (1990) Infinite-valued logic based of two-valued logic and probability. Pt. 1.4 The TEE model for grades of membership. Inst. Informatics Univ. Oslo Oslo, Oslo"},{"key":"65_CR17_65","series-title":"Tatra Mountains, Math. Publ.","first-page":"169","volume-title":"Special Issue: Fuzzy Structures\u00a0\u2013 Current Trends","author":"E.P. Klement","year":"1997","unstructured":"Klement EP, Mesiar R (1997) Triangular norms. In: Mesiar R, Rie\u010dan B (eds) Tatra Mountains, Math. Publ. (Special Issue: Fuzzy Structures\u00a0\u2013 Current Trends). 13, Math Inst Slovak Acad Sci Bratislava, Bratislava, pp 169\u2013194"},{"key":"65_CR18_65","volume-title":"Fuzzy sets and fuzzy logic: Theory and applications","author":"G.J. Klir","year":"1995","unstructured":"Klir GJ, Yuan B (1995) Fuzzy sets and fuzzy logic: Theory and applications. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"65_CR19_65","volume-title":"A perspective on intelligent systems: A\u00a0framework for analysis and design","author":"L.J. Kohout","year":"1990","unstructured":"Kohout LJ (1990) A\u00a0perspective on intelligent systems: A\u00a0framework for analysis and design. Chapman and Hall and v. Nostrand, London\u2013New York"},{"key":"65_CR20_65","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-94-011-0215-5_12","volume-title":"Non-Classical Logics and their Applications to Fuzzy Subsets: A\u00a0Handbook of Mathematical Foundations of Fuzzy Set Theory","author":"L.J. Kohout","year":"1995","unstructured":"Kohout LJ (1995) Epistemological aspects of many-valued logics and fuzzy structures. In: H\u00f6hle U, Klement EP (eds) Non-Classical Logics and their Applications to Fuzzy Subsets: A\u00a0Handbook of Mathematical Foundations of Fuzzy Set Theory. Kluwer, Dordrecht, pp 291\u2013339"},{"key":"65_CR21_65","volume-title":"Knowledge-based systems for multiple environments","author":"L.J. Kohout","year":"1992","unstructured":"Kohout LJ, Anderson J, Bandler W et al. (1992) Knowledge-based systems for multiple environments. Ashgate Publ. (Gower), Aldershot, Hampshire, UK"},{"key":"65_CR22_65","unstructured":"Kohout LJ, Bandler W (1979) Checklist paradigm and group transformations. Techn. Note, Dept. Electrical Engin. Univ. Essex, no. EES-MMS-ckl91.2"},{"key":"65_CR23_65","unstructured":"Kohout LJ, Bandler W (1992) How the checklist paradigm elucidates the semantics of fuzzy inference. Proc. IEEE Internat Conf Fuzzy Systems (1992), IEEE, New York, pp 571\u2013578"},{"key":"65_CR24_65","unstructured":"Kohout LJ, Bandler W (1992) Modes of plausible reasoning viewed via the checklist paradigm. IPMU'92: Proc. Internat. Conf. Information Processing and the Management of Uncertainty in Knowlege-Based Systems, Mallorca, July 6-10 (1992), Univ. Illes Balears, Palma, Mallorca, Spain, Palma de Mallorca, pp 411\u2013414"},{"key":"65_CR25_65","first-page":"415","volume-title":"Fuzzy Logic for the Management of Uncertainty","author":"L.J. Kohout","year":"1992","unstructured":"Kohout LJ, Bandler W (1992) Use of fuzzy relations in knowledge representation, acquisition and processing. In: Zadeh LA, Kacprzyk J (eds) Fuzzy Logic for the Management of Uncertainty. Wiley, New York, pp 415\u2013435"},{"key":"65_CR26_65","first-page":"167","volume-title":"Advances in Fuzzy Theory and Technology, vol\u00a01","author":"L.J. Kohout","year":"1993","unstructured":"Kohout LJ, Bandler W (1993) Interval-valued systems for approximate reasoning based on the checklist paradigm. In: Wang P (ed) Advances in Fuzzy Theory and Technology, vol\u00a01, Bookwrights Press, Durham, NC, pp 167\u2013193"},{"key":"65_CR27_65","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-1-4613-3440-8_12","volume-title":"Applications of Interval Computations","author":"L.J. Kohout","year":"1996","unstructured":"Kohout LJ, Bandler W (1996) Fuzzy interval inference utilizing the checklist paradigm and BK-relational products. In: Kearfott RB, Kreinovich V (eds) Applications of Interval Computations. Kluwer, Dordrecht, pp 291\u2013335"},{"key":"65_CR28_65","series-title":"Lecture Notes Fuzzy Math. and Computer Sci.","volume-title":"A survey of fuzzy and crisp relations","author":"L.J. Kohout","year":"2001","unstructured":"Kohout LJ, Bandler W (2001) A\u00a0survey of fuzzy and crisp relations. Lecture Notes Fuzzy Math and Computer Sci Creighton Univ, Omaha, NE"},{"key":"65_CR29_65","unstructured":"Kohout LJ, Kim E (1997) Global characterization of fuzzy logic systems with para-consistent and grey set features. In: Wang P (ed) Proc 3rd Joint Conf Inform Sci. JCIS'97 (5th Internat Conf on Fuzzy Theory and Techn), 1, Duke Univ., Durham, NC, pp 238\u2013241"},{"key":"65_CR30_65","unstructured":"Kohout LJ, Kim E (1997) Group transformations of systems of logic connectives. In: Proc. IEEE-FUZ'97, 1, IEEE, New York, pp 157\u2013162"},{"key":"65_CR31_65","unstructured":"Nov\u00e1k V (1991) On the position of fuzzy sets in modelling of vague phenomena. In: Lowen R, Roubens M (eds) IFSA '91 Brussels: Artificial Intelligence, pp 165\u2013167"},{"key":"65_CR32_65","volume-title":"Mathematics and plausible reasoning","author":"G. Polya","year":"1954","unstructured":"Polya G (1954) Mathematics and plausible reasoning. Princeton Univ. Press, Princeton"},{"key":"65_CR33_65","volume-title":"Formal logic","author":"A. Prior","year":"1962","unstructured":"Prior A (1962) Formal logic. Oxford Univ. Press, Oxford"},{"key":"65_CR34_65","doi-asserted-by":"crossref","unstructured":"Resconi G, Klir GJ, Clair USt (1992) Hierarchical uncetrainty metatheory based upon modal logic. Internat J General Syst","DOI":"10.1080\/03081079208945051"},{"key":"65_CR35_65","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8919-2","volume-title":"Integral, measure, and ordering","author":"B. Rie\u010dan","year":"1997","unstructured":"Rie\u010dan B, Neubrunn T (1997) Integral, measure, and ordering. Kluwer, Dordrecht"},{"key":"65_CR36_65","volume-title":"Probabilistic metric spaces","author":"B. Schweizer","year":"1983","unstructured":"Schweizer B, Sklar A (1983) Probabilistic metric spaces. North-Holland, Amsterdam"},{"key":"65_CR37_65","unstructured":"Turksen IB (1979) Containment and Klein groups of fuzzy propositions. Working Paper Dept. Industr. Engin. Univ. Toronto 79-010"},{"key":"65_CR38_65","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0165-0114(86)90077-1","volume":"20","author":"I.B. Turksen","year":"1986","unstructured":"Turksen IB (1986) Interval-valued fuzzy sets based on normal forms. Fuzzy Sets and Systems 20:191\u2013210","journal-title":"Fuzzy Sets and Systems"},{"key":"65_CR39_65","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0888-613X(89)90002-9","volume":"3","author":"I.B. Turksen","year":"1989","unstructured":"Turksen IB (1989) Four methods of approximate reasoning with interval-valued fuzzy sets. Internat J Approximate Reasoning 3:121\u2013142","journal-title":"Internat. J. Approximate Reasoning"},{"key":"65_CR40_65","first-page":"31","volume-title":"Advances in Fuzzy Theory and Techn., vol\u00a03","author":"I.B. T\u00fcrksen","year":"1995","unstructured":"T\u00fcrksen IB (1995) Type I and interval-valued type II fuzzy sets and logics. In: Wang PP (ed) Advances in Fuzzy Theory and Techn, vol\u00a03. Duke Univ, Durham, NC, pp 31\u201381"},{"key":"65_CR41_65","volume-title":"Mathematics in the alternative set theory","author":"P. Vop\u011bnka","year":"1979","unstructured":"Vop\u011bnka P (1979) Mathematics in the alternative set theory. Teubner, Leipzig"},{"issue":"1","key":"65_CR42_65","first-page":"115","volume":"20","author":"P. Vop\u011bnka","year":"1991","unstructured":"Vop\u011bnka P (1991) The philosophical foundations of alternative set theory. Internat J General Syst (Special Issue of Fuzzy Sets and Systems in Czechoslovakia) 20(1):115\u2013126","journal-title":"Internat. J. General Syst. (Special Issue of Fuzzy Sets and Systems in Czechoslovakia)"},{"issue":"31\u201336","key":"65_CR43_65","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0165-0114(80)90061-5","volume":"4","author":"R. Willmott","year":"1980","unstructured":"Willmott R (1980) Two fuzzier implication operators in the theory of fuzzy power sets. Fuzzy Sets and Systems 4(31\u201336):31\u201336","journal-title":"Fuzzy Sets and Systems"},{"key":"65_CR44_65","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inform and Control 8:338\u2013353","journal-title":"Inform. and Control"},{"key":"65_CR45_65","volume-title":"Fuzzy sets: Selected papers II","author":"L.A. Zadeh","year":"1996","unstructured":"Zadeh LA (1996) Fuzzy sets: Selected papers II. World Sci, Singapore, edited by Klir G, Yuan B"}],"container-title":["Encyclopedia of Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-74759-0_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T10:50:15Z","timestamp":1720695015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-74759-0_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387747583","9780387747590"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-74759-0_65","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}