{"id":"https://openalex.org/W2062434329","doi":"https://doi.org/10.1109/grc.2011.6122565","title":"Paraconsistecy in future contradictions","display_name":"Paraconsistecy in future contradictions","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2062434329","doi":"https://doi.org/10.1109/grc.2011.6122565","mag":"2062434329"},"language":"en","primary_location":{"id":"doi:10.1109/grc.2011.6122565","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2011.6122565","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Granular Computing","raw_type":"proceedings-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/A5048667897","display_name":"Seiki Akama","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Seiki Akama","raw_affiliation_strings":["1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi, 215-0012, Japan"],"affiliations":[{"raw_affiliation_string":"1-20-1, Higashi-Yurigaoka, Asao-ku, Kawasaki-shi, 215-0012, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110512145","display_name":"Tetsuya Murai","orcid":null},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tetsuya Murai","raw_affiliation_strings":["Graduate School of Engineering, Hokkaido University, Sapporo, Japan","Graduate School of Engineering, Hokkaido University, Kita 13, Nishi 8, Kita-ku, Sapporo 080-8628, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of Engineering, Hokkaido University, Sapporo, Japan","institution_ids":["https://openalex.org/I205349734"]},{"raw_affiliation_string":"Graduate School of Engineering, Hokkaido University, Kita 13, Nishi 8, Kita-ku, Sapporo 080-8628, Japan","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054917794","display_name":"Yasuo Kudo","orcid":"https://orcid.org/0009-0009-2968-1448"},"institutions":[{"id":"https://openalex.org/I41725924","display_name":"Muroran Institute of Technology","ror":"https://ror.org/04rymkk69","country_code":"JP","type":"education","lineage":["https://openalex.org/I41725924"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasuo Kudo","raw_affiliation_strings":["Department of Computer Science and Systems Engineering, Muroran Institute of Technology, Muroran, Japan","Department of Computer Science and Systems Engineering, Muroran Institute of Technology, 27-1 Mizumoto, Muroran 050-8585, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Systems Engineering, Muroran Institute of Technology, Muroran, Japan","institution_ids":["https://openalex.org/I41725924"]},{"raw_affiliation_string":"Department of Computer Science and Systems Engineering, Muroran Institute of Technology, 27-1 Mizumoto, Muroran 050-8585, Japan","institution_ids":["https://openalex.org/I41725924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048667897"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10260069,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"213","issue":null,"first_page":"42","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9912999868392944,"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.9912999868392944,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.98580002784729,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9678999781608582,"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/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.9203270077705383},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.8931081295013428},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.8031520843505859},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.6761316061019897},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.6457571983337402},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5608930587768555},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4497416615486145},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.4214004576206207},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2368808388710022},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19881248474121094},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15723296999931335},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.07871103286743164}],"concepts":[{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.9203270077705383},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.8931081295013428},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.8031520843505859},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.6761316061019897},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.6457571983337402},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5608930587768555},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4497416615486145},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4214004576206207},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2368808388710022},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19881248474121094},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15723296999931335},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.07871103286743164}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/grc.2011.6122565","is_oa":false,"landing_page_url":"https://doi.org/10.1109/grc.2011.6122565","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Granular Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W6204907","https://openalex.org/W105549225","https://openalex.org/W111042400","https://openalex.org/W146374881","https://openalex.org/W1979717674","https://openalex.org/W2045618928","https://openalex.org/W2047294512","https://openalex.org/W2083987012","https://openalex.org/W2110198304","https://openalex.org/W2142616542","https://openalex.org/W2304133653","https://openalex.org/W4206120705","https://openalex.org/W4238632224","https://openalex.org/W4252295669","https://openalex.org/W6605980264"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W2373478030","https://openalex.org/W2378679551","https://openalex.org/W3149739944","https://openalex.org/W2392363776","https://openalex.org/W2063051341","https://openalex.org/W2591066345","https://openalex.org/W2144421854","https://openalex.org/W2902981881"],"abstract_inverted_index":{"This":[0],"paper":[1],"discusses":[2],"paraconsistency":[3],"in":[4,29],"future":[5,13,18],"contradictions.":[6],"We":[7,15,32],"sketch":[8],"a":[9],"paraconsistent":[10],"interpretation":[11,36],"of":[12],"contingents.":[14],"suggest":[16],"interpreting":[17],"contingents,":[19],"not":[20],"as":[21,24,27],"Aristotle":[22],"did,":[23],"gappy,":[25],"but":[26],"glutty":[28],"some":[30],"sense.":[31],"justify":[33],"the":[34],"proposed":[35],"by":[37],"using":[38],"Priest's":[39],"dialectical":[40],"tense":[41],"logic":[42],"DTL.":[43]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}