{"id":"https://openalex.org/W2073573260","doi":"https://doi.org/10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","title":"Logics with approximate premises","display_name":"Logics with approximate premises","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2073573260","doi":"https://doi.org/10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","mag":"2073573260"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"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":"International Journal of Intelligent Systems","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/A5070823915","display_name":"Loredana Biacino","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Loredana Biacino","raw_affiliation_strings":["Dipartimento di Matematica ed Applicazioni, Universita\u0300 di Napoli, Italy","Dipartimento di Matematica ed Applicazioni, Universit\u00e0 di Napoli, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica ed Applicazioni, Universita\u0300 di Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]},{"raw_affiliation_string":"Dipartimento di Matematica ed Applicazioni, Universit\u00e0 di Napoli, Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041238111","display_name":"Giangiacomo Gerla","orcid":null},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giangiacomo Gerla","raw_affiliation_strings":["D.I.I.M.A., Universita\u0300 di Salerno, Baronissi, Italy","D.I.I.M.A., Universit\u00e0 di Salerno, Baronissi, Italy"],"affiliations":[{"raw_affiliation_string":"D.I.I.M.A., Universita\u0300 di Salerno, Baronissi, Italy","institution_ids":["https://openalex.org/I131729948"]},{"raw_affiliation_string":"D.I.I.M.A., Universit\u00e0 di Salerno, Baronissi, Italy","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5070823915"],"corresponding_institution_ids":["https://openalex.org/I71267560"],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":3.0507,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.916326,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"13","issue":"1","first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994999766349792,"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.9994999766349792,"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.9957000017166138,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9954000115394592,"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/propositional-calculus","display_name":"Propositional calculus","score":0.7271519899368286},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6211877465248108},{"id":"https://openalex.org/keywords/antecedent","display_name":"Antecedent (behavioral psychology)","score":0.6074896454811096},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.5865776538848877},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5651288032531738},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5338647961616516},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5259364247322083},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5166752338409424},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5080540180206299},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.504501223564148},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4311135411262512},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.42292237281799316},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.31995725631713867},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3067253828048706},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2894755005836487},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.15004447102546692},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0893215537071228},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.07798245549201965},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.06757333874702454},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.06718796491622925},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0662132203578949}],"concepts":[{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.7271519899368286},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6211877465248108},{"id":"https://openalex.org/C2781256819","wikidata":"https://www.wikidata.org/wiki/Q16828835","display_name":"Antecedent (behavioral psychology)","level":2,"score":0.6074896454811096},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.5865776538848877},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5651288032531738},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5338647961616516},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5259364247322083},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5166752338409424},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5080540180206299},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.504501223564148},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4311135411262512},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.42292237281799316},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.31995725631713867},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3067253828048706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2894755005836487},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.15004447102546692},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0893215537071228},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.07798245549201965},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.06757333874702454},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.06718796491622925},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0662132203578949},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1098-111x(199801)13:1<1::aid-int1>3.0.co;2-u","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"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":"International Journal of Intelligent Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.2439","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2439","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dmi.unisa.it/people/gerla/www/Down/approximate_premises.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1966321785","https://openalex.org/W1970606137","https://openalex.org/W2044177285","https://openalex.org/W2071505784","https://openalex.org/W2170301374"],"related_works":["https://openalex.org/W1986625420","https://openalex.org/W100309281","https://openalex.org/W3200682096","https://openalex.org/W3137333128","https://openalex.org/W4251854500","https://openalex.org/W4253001830","https://openalex.org/W2402893585","https://openalex.org/W2297035263","https://openalex.org/W4232875954","https://openalex.org/W2383907964"],"abstract_inverted_index":{"M.":[0],"Ying":[1],"proposed":[2,44],"a":[3,19,58,66],"propositional":[4],"calculus":[5],"in":[6,57],"which":[7],"the":[8,15,46],"reasoning":[9],"may":[10],"be":[11,63],"approximate":[12],"by":[13,45,71],"allowing":[14],"antecedent":[16],"clause":[17],"of":[18,29,82],"rule":[20],"to":[21,33,37,54,65],"match":[22],"its":[23],"premise":[24],"only":[25],"approximately.":[26],"The":[27],"aim":[28],"this":[30,49],"note":[31],"is":[32,52],"relate":[34],"Ying's":[35,60],"proposal":[36],"an":[38],"extension":[39],"principle":[40],"for":[41],"closure":[42],"operators":[43],"authors.":[47],"In":[48],"way":[50],"it":[51],"possible":[53],"show":[55],"that,":[56],"sense,":[59],"apparatus":[61],"can":[62],"reduced":[64],"fuzzy":[67,76],"logic":[68,77],"as":[69],"defined":[70],"Pavelka":[72],"[J.":[73],"Pavelka,":[74],"\u201cOn":[75],"I.":[78],"Many":[79],"valued":[80],"rules":[81],"inference,\u201d":[83],"Zeitschrift":[84],"fur":[85],"Math.":[86],"Logik":[87],"und":[88],"Grundlagen":[89],"Math.,":[90],"25,":[91],"45\u201352":[92],"(1979)].":[93],"\u00a9":[94],"1998":[95,102],"John":[96],"Wiley":[97],"&":[98],"Sons,":[99],"Inc.13:":[100],"1\u201310,":[101]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}