{"id":"https://openalex.org/W2005725646","doi":"https://doi.org/10.1109/coginf.2010.5599781","title":"Articular models for first-degree paraconsistent systems","display_name":"Articular models for first-degree paraconsistent systems","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2005725646","doi":"https://doi.org/10.1109/coginf.2010.5599781","mag":"2005725646"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2010.5599781","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2010.5599781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"9th IEEE International Conference on Cognitive Informatics (ICCI'10)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5108559612","display_name":"R. E. Jennings","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R. E. Jennings","raw_affiliation_strings":["Laboratory of Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada","Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada","institution_ids":["https://openalex.org/I18014758"]},{"raw_affiliation_string":"Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064212370","display_name":"Yingquan Chen","orcid":"https://orcid.org/0009-0009-5862-1671"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Y. Chen","raw_affiliation_strings":["Laboratory of Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada","Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada","institution_ids":["https://openalex.org/I18014758"]},{"raw_affiliation_string":"Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, BC, Canada V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":null,"apc_paid":null,"fwci":0.5449,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62263188,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"4","issue":null,"first_page":"904","last_page":"907"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9936000108718872,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9936000108718872,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9850999712944031,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.7176181077957153},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.613143801689148},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5334389805793762},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5331681966781616},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5037066340446472},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4703510105609894},{"id":"https://openalex.org/keywords/textual-entailment","display_name":"Textual entailment","score":0.47026950120925903},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.46641409397125244},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.46247708797454834},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4587668478488922},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4467580020427704},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4461730122566223},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4413522481918335},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4124261736869812},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27044710516929626},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23494210839271545}],"concepts":[{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.7176181077957153},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.613143801689148},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5334389805793762},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5331681966781616},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5037066340446472},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4703510105609894},{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.47026950120925903},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.46641409397125244},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.46247708797454834},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4587668478488922},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4467580020427704},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4461730122566223},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4413522481918335},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4124261736869812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27044710516929626},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23494210839271545},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2010.5599781","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2010.5599781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"9th IEEE International Conference on Cognitive Informatics (ICCI'10)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334617","display_name":"Social Sciences and Humanities Research Council of Canada","ror":"https://ror.org/04j5jqy92"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1593617641","https://openalex.org/W1981671130","https://openalex.org/W2244950361","https://openalex.org/W4250694390","https://openalex.org/W4285719527","https://openalex.org/W6635411395"],"related_works":["https://openalex.org/W2169644218","https://openalex.org/W12963412","https://openalex.org/W2250460949","https://openalex.org/W3158371345","https://openalex.org/W3141423438","https://openalex.org/W2071098659","https://openalex.org/W2627035043","https://openalex.org/W4385571113","https://openalex.org/W2937401546","https://openalex.org/W3030695269"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,12,25,52,67],"class":[3],"of":[4,11,24,42,46,61,71],"models":[5],"(h-models)":[6],"in":[7,28,57],"which":[8,29],"the":[9,21,43,58],"sentences":[10],"propositional":[13],"language":[14],"are":[15,31],"represented":[16],"as":[17],"simple":[18],"hypergraphs":[19],"on":[20],"power":[22],"set":[23],"universe,":[26],"and":[27,51,74],"entailments":[30],"modeled":[32],"by":[33],"relations":[34],"between":[35],"hypergraphs.":[36],"An":[37],"h-model":[38,78],"theoretic":[39],"semantic":[40],"analysis":[41],"system":[44,70],"FDE":[45],"first-degree":[47],"entailment":[48,73],"is":[49],"proposed":[50],"non-constructive":[53],"completeness":[54],"proof":[55],"given":[56],"familiar":[59],"idiom":[60],"Henkin":[62],"models.":[63],"Finally":[64],"we":[65],"introduce":[66],"hitherto":[68],"unstudied":[69],"analytic":[72],"provide":[75],"its":[76],"natural":[77],"representation.":[79]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}