{"id":"https://openalex.org/W2060011087","doi":"https://doi.org/10.1002/scj.4690231306","title":"Fundamental properties of multivalued kleenean functions","display_name":"Fundamental properties of multivalued kleenean functions","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2060011087","doi":"https://doi.org/10.1002/scj.4690231306","mag":"2060011087"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690231306","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690231306","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102878268","display_name":"Noboru Takagi","orcid":"https://orcid.org/0000-0002-4099-9651"},"institutions":[{"id":"https://openalex.org/I4210108100","display_name":"Fuzzy Systems Institute","ror":"https://ror.org/01ykj2t23","country_code":"JP","type":"other","lineage":["https://openalex.org/I4210108100"]},{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Noboru Takagi","raw_affiliation_strings":["Faculty of Engineering, Toyama Prefectural University, Toyama, Japan 939-03","Noboru Takagi. Education: Meiji University, B.S., 1989, first-level D.Eng. program completed, 1991, Academic appointment: ToyPrefectural University, assistant, 1991. Research interests: multivalued logic, fuzzy logic. Membership: Japan Fuzy Logic Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering, Toyama Prefectural University, Toyama, Japan 939-03","institution_ids":["https://openalex.org/I63216439"]},{"raw_affiliation_string":"Noboru Takagi. Education: Meiji University, B.S., 1989, first-level D.Eng. program completed, 1991, Academic appointment: ToyPrefectural University, assistant, 1991. Research interests: multivalued logic, fuzzy logic. Membership: Japan Fuzy Logic Society","institution_ids":["https://openalex.org/I4210108100"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035875969","display_name":"Masao Mukaidono","orcid":null},"institutions":[{"id":"https://openalex.org/I16656306","display_name":"Meiji University","ror":"https://ror.org/02rqvrp93","country_code":"JP","type":"education","lineage":["https://openalex.org/I16656306"]},{"id":"https://openalex.org/I36253440","display_name":"IEEE Computer Society","ror":"https://ror.org/05nxk6n24","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I36253440"]},{"id":"https://openalex.org/I4210108100","display_name":"Fuzzy Systems Institute","ror":"https://ror.org/01ykj2t23","country_code":"JP","type":"other","lineage":["https://openalex.org/I4210108100"]},{"id":"https://openalex.org/I4210137482","display_name":"Applied Logic Laboratory (Hungary)","ror":"https://ror.org/04kpvds24","country_code":"HU","type":"company","lineage":["https://openalex.org/I4210137482"]}],"countries":["HU","JP","US"],"is_corresponding":false,"raw_author_name":"Masao Mukaidono","raw_affiliation_strings":["Masao Mukaidono. Education: Meiji University, B.S., 1965, D.Eng., 1970. Academic appointment: Meiji University, lecturer, 1970. Research interests: multivalued logic, fault-tolerant systems, fuzzy logic, automated logic device design, industrial robotics, graph theory. Publications: Fault-Tolerant Computing (Maruzen, editor); Elementary Computer Programming (Kogaku, contributor). Memberships: IEEE, Information Processing Society, Japan Fuzzy Logic Society","School of Science and Technology, Meiji University, Kawasaki, Japan 214","Elementary Computer Programming (Kogaku, contributor). Memberships: IEEE, Information Processing Society, Japan Fuzzy Logic Society","Masao Mukaidono. Education: Meiji University, B.S., 1965, D.Eng., 1970. Academic appointment: Meiji University, lecturer, 1970. Research interests: multivalued logic, fault-tolerant systems, fuzzy logic, automated logic device design, industrial robotics, graph theory. Publications: Fault-Tolerant Computing (Maruzen, editor)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Masao Mukaidono. Education: Meiji University, B.S., 1965, D.Eng., 1970. Academic appointment: Meiji University, lecturer, 1970. Research interests: multivalued logic, fault-tolerant systems, fuzzy logic, automated logic device design, industrial robotics, graph theory. Publications: Fault-Tolerant Computing (Maruzen, editor); Elementary Computer Programming (Kogaku, contributor). Memberships: IEEE, Information Processing Society, Japan Fuzzy Logic Society","institution_ids":["https://openalex.org/I4210137482"]},{"raw_affiliation_string":"School of Science and Technology, Meiji University, Kawasaki, Japan 214","institution_ids":["https://openalex.org/I16656306"]},{"raw_affiliation_string":"Elementary Computer Programming (Kogaku, contributor). Memberships: IEEE, Information Processing Society, Japan Fuzzy Logic Society","institution_ids":["https://openalex.org/I36253440"]},{"raw_affiliation_string":"Masao Mukaidono. Education: Meiji University, B.S., 1965, D.Eng., 1970. Academic appointment: Meiji University, lecturer, 1970. Research interests: multivalued logic, fault-tolerant systems, fuzzy logic, automated logic device design, industrial robotics, graph theory. Publications: Fault-Tolerant Computing (Maruzen, editor)","institution_ids":["https://openalex.org/I16656306","https://openalex.org/I4210108100"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.20353982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"23","issue":"13","first_page":"66","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.6557999849319458,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.6557999849319458,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.08070000261068344,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.06289999932050705,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.6924442052841187},{"id":"https://openalex.org/keywords/partial-function","display_name":"Partial function","score":0.6171131730079651},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5887831449508667},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5866320133209229},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5861772894859314},{"id":"https://openalex.org/keywords/truth-function","display_name":"Truth function","score":0.5747005939483643},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5623002052307129},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.5070035457611084},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4855072498321533},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.4335818588733673},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3746787905693054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36794227361679077},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3554591238498688},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34022289514541626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2270585298538208},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.16405045986175537},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.10662475228309631},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07941359281539917}],"concepts":[{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6924442052841187},{"id":"https://openalex.org/C182359184","wikidata":"https://www.wikidata.org/wiki/Q1756942","display_name":"Partial function","level":2,"score":0.6171131730079651},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5887831449508667},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5866320133209229},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5861772894859314},{"id":"https://openalex.org/C37754750","wikidata":"https://www.wikidata.org/wiki/Q913874","display_name":"Truth function","level":3,"score":0.5747005939483643},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5623002052307129},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.5070035457611084},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4855072498321533},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.4335818588733673},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3746787905693054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36794227361679077},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3554591238498688},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34022289514541626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2270585298538208},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.16405045986175537},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.10662475228309631},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07941359281539917},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690231306","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690231306","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1483568252","https://openalex.org/W1533089153","https://openalex.org/W1975112358","https://openalex.org/W1979857184","https://openalex.org/W2143132439","https://openalex.org/W2345350790"],"related_works":["https://openalex.org/W2353179089","https://openalex.org/W2923538289","https://openalex.org/W2942141960","https://openalex.org/W1689071208","https://openalex.org/W4238461530","https://openalex.org/W90325428","https://openalex.org/W197011163","https://openalex.org/W4248504484","https://openalex.org/W2060011087","https://openalex.org/W2038489218"],"abstract_inverted_index":{"Abstract":[0],"In":[1,18,43],"the":[2,70],"real":[3],"world,":[4],"there":[5],"are":[6,28,56,137],"many":[7],"propositions":[8],"which":[9,27,55,136],"cannot":[10],"be":[11,14,91,108,116],"determined":[12,117],"to":[13,20,30],"true":[15,34],"or":[16,36],"false.":[17],"order":[19,67,103],"treat":[21],"such":[22],"propositions,":[23],"multivalued":[24,52,95,112,133],"logic":[25,130],"systems":[26],"permitted":[29],"take":[31],"more":[32],"than":[33],"(1)":[35],"false":[37],"(0)":[38],"values":[39,74],"have":[40],"been":[41],"developed.":[42],"this":[44,101],"paper,":[45],"we":[46,62,126],"will":[47,63,90,107,127],"describe":[48,128],"fundamental":[49],"properties":[50],"of":[51,72,139],"Kleenean":[53,96,113,134],"functions,":[54],"effective":[57],"for":[58,100,119,132],"treating":[59],"ambiguity.":[60],"First,":[61],"introduce":[64],"a":[65],"partial":[66,102],"relation":[68],"into":[69],"set":[71],"truth":[73],"{0,":[75,121],"1/(":[76],"m":[77,82,85],"\u2010":[78,83,86],"1),":[79,87],"\u2026,":[80],"(":[81],"2)/(":[84],"1}.":[88],"It":[89],"shown":[92,109],"that":[93,110],"any":[94,111],"function":[97,114],"is":[98],"monotone":[99],"relation.":[104],"Next,":[105],"it":[106],"can":[115],"uniquely":[118],"inputs":[120],"1/2,":[122],"1}":[123],"only.":[124],"Finally,":[125],"P\u2010type":[129],"functions":[131,135],"capable":[138],"correcting":[140],"input":[141],"failures.":[142]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}