{“id”：“https://openalex.org/W2089979830“，”doi“：”https://doi.org/10.1305/ndjfl/109336764“，”title“：”da Costa的次一致逻辑${\\rm C}_\\omega$的Kripke-type语义。“，”display_name“：”da-Costa的超一致逻辑${\\rm-C}_\\omega$的Kripke-type语义。“，”“publication_year”：1986，“publication_date”：“1986-10-01”，“ids”：{“openalex”：“https://openalex.org/W2089979830“，”doi“：”https://doi.org/10.1305/ndjfl/1093636764“，”mag“：”2089979830“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636764，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Kripke-type-semantics-for-da-Costas-paraconsistent-logic-rm-C_omega/10.1305/ndjfl/10936764.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“（_U）：”https://project欧几里得.org/journals/notre-dame-jjournal-of-formal-logic/volume-27/issue-4/Kripke-type-semantics-for-da-Costas-paraconsistent-logic-rm-Comega/10.1305/ndjfl/10936366764.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5035315045“，”display_name“：”Matthias Baaz“，”orcid“：”https://orcid.org/0000-0002-7815-2501“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Matthias Baaz“，”raw_affiliation_strings“：[]，“附属机构”：[]}]，“countries_distiction_count”：0，“institutions_disticent_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5035315045“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：0.496，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：15，”citation_normalized_percentile“：{”value“：0.846443，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”citted_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：“27”，“issue”：“4”，“first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9957，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9957，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9943，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9789，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.544536}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时间逻辑“，”score“：0.539203｝，｛”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.536552}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.534669}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.525323}，{”id“：”https://openalex.org/keywords/kripke-structure网站“，”display_name“：”Kripke结构“，”score“：0.43845034}]，”concepts“：[{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.60668963}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.605945}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5329856}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5290341}，{”id“：”https://openalex.org/C2779557605，“wikidata”：https://www.wikidata.org/wiki/Q9890（网址：https://www.wikidata.org/wiki/Q9890）“，”display_name“：”Omega“，”level“：2，”score“：0.51345146}，{”id“：”https://openalex.org/C161913894，“wikidata”：https://www.wikidata.org/wiki/Q1077740“，”display_name“：”Kripke结构“，”level“：3，”score“：0.43845034}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”Mathematics“，”level“：0，”score“：0.40874708｝，｛”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.2989211}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.2791742}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.26376587}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.20604014}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.13085923}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1305/ndjfl/1093636764，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Kripke-type-semantics-for-da-Costas-paraconsistent-logic-rm-C_omega/10.1305/ndjfl/10936764.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1305/ndjfl/1093636764，“pdf_url”：https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-27/issue-4/Kripke-type-semantics-for-da-Costas-paraconsistent-logic-rm-C_omega/10.1305/ndjfl/10936764.pdf，“源”：{“id”：https://openalex.org/S78544662“，”display_name“：”Notre Dame Journal of Formal Logic“，”issn_l“：”0029-4527“，”isn“：[”0029-45%“，”1939-0726“]，”is_oa“：false，”is.in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310315698“，”host_organization_name“：”杜克大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310315572","https://openalex.org/P4310315698“]，”host_organization_lineage_names“：[”Duke University“，”Duke University Press“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.63，”display_name“：”减少的不平等“}]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：2，”referenced_works“：[”https://openalex.org/W2089552973","https://openalex.org/W61865301“]，”related_works“：[”https://openalex.org/W4292947165","https://openalex.org/W3201655533","https://openalex.org/W3134442314","https://openalex.org/W3045121788","https://openalex.org/W3022218857","https://openalex.org/W3016395638","https://openalex.org/W2734192830","https://openalex.org/W238609530","https://openalex.org/W2075768550","https://openalex.org/W1636163329“]，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”should“：[2,31]，”be“：[3,24,32]，”considered“：[4]，”as“：[5]，”an“：[6,90]，”example“：[7]，”of“：[8,12,43,52,56,89104112]，”the“：[9,44,49,57,63,75109]，”formal“：[10]，”derivation“：[11]，”semantics“：[13,46,58,82,92]，”“in”：[14,37115]，“connection”：[15]，“with”：-16]，“propostial”：[17]，“logics”：[18]扩展“：[19]，”积极“：[20]，”逻辑。这些“：[21]，”构造“：[22]，”可以“：[23]，”应用“：[25]，”到“：[26，34，79，83]，”许多“：[27]，”相似“：[28]，”问题“：[29]，”和“：[30，66107]，”比较“：[33]，”那些“：[35]，”提议“：[36，87]，”黑客“：[38]，”[4]：“：[39]，”The“：[40]，”Kripke type“：[41]，”structure“：[42]，“结果”：[45]，“取决于”：[47]，“取决于”：[48,98108]，“先前”：[50]，“选择”：[51]，“Gentzen-style“：[53]，”配方。“：[54]，”细节“：[55]，”是“：[59]，”读“：[60]，”关“：[61]，”来自“：[62]，”采纳“：[64]，”介绍“：[65]，”排除“：[67]，”规则。在“：[68]，“Arruda”：[69]，“[1]，”：[70]，“p.”：[71]，“27，”：/72]，“problem”：[73,76]，“8，”：%74]，“is”：[77,96]，“formulated”：%78]，“adapt”：[80]，“world”：[81]，“C”：[84,94]，“\u03c9”：[85,95103]，“中。The“：[86]，”construction“：[88]，”sufficient“：[91]，”for“：[93]，”based“：[97]，”Raggio’s“：[99]，”Gentzen type“：[100]，”formulation“：[101]，”CG“：%102]，”C*“：[105]，”[5]，“：[106]，”proof theoretic“：[110]，”analysis“：[111]，”直觉主义“：[113]，”logic“：[114]，”Takeuti“：，“：[117]，”节“：[118]，”8.“：[119]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2089979830“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2021，”cited_by_count”：1}.，{“年份”：2017，”citecd_by_count“：1}，”{“年度”：2016，”citesd_by_count“:2}，“年份”:2015，”ciped_by_cunt“:1}、{“年”：2014，”cieted_by-count“:1}]，”updated_date“：”2024-08-16T06:58:50.045695“，“创建日期”：“2016-06-24”}