{"id":"https://openalex.org/W7168368028","doi":"https://doi.org/10.4230/lipics.fscd.2026.30","title":"On the Consistency of Naive Set Theories over Substructural and Fuzzy Logics","display_name":"On the Consistency of Naive Set Theories over Substructural and Fuzzy Logics","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168368028","doi":"https://doi.org/10.4230/lipics.fscd.2026.30"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.fscd.2026.30","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.kurims.kyoto-u.ac.jp/~terui/whitenew.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.kurims.kyoto-u.ac.jp/~terui/whitenew.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140934111","display_name":"Kazushige Terui","orcid":"https://orcid.org/0009-0005-1156-9627"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]},{"id":"https://openalex.org/I4210136927","display_name":"Research Institute for Applied Sciences","ror":"https://ror.org/03w448b28","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210136927"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Terui, Kazushige","raw_affiliation_strings":["Kyoto University, Research Institute for Mathematical Sciences, Japan"],"raw_orcid":"https://orcid.org/0009-0005-1156-9627","affiliations":[{"raw_affiliation_string":"Kyoto University, Research Institute for Mathematical Sciences, Japan","institution_ids":["https://openalex.org/I22299242","https://openalex.org/I4210136927"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5140934111"],"corresponding_institution_ids":["https://openalex.org/I22299242","https://openalex.org/I4210136927"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6485999822616577},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5375999808311462},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5224000215530396},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.4726000130176544},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.4562000036239624},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4368000030517578},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.41819998621940613},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.41200000047683716}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6833000183105469},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6485999822616577},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5375999808311462},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5224000215530396},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4973999857902527},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.4726000130176544},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.4562000036239624},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4368000030517578},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.41819998621940613},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.41200000047683716},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.3885999917984009},{"id":"https://openalex.org/C27333817","wikidata":"https://www.wikidata.org/wiki/Q6134913","display_name":"Least fixed point","level":5,"score":0.3864000141620636},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.37880000472068787},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.367900013923645},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3499999940395355},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3458000123500824},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.3352999985218048},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.33410000801086426},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.29510000348091125},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.2833000123500824},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.2750000059604645}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.4230/lipics.fscd.2026.30","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.kurims.kyoto-u.ac.jp/~terui/whitenew.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"pmh:oai:drops-oai.dagstuhl.de:26380","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.30","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.30/LIPIcs.FSCD.2026.30.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fscd.2026.30","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2026.30","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:doi:10.4230/lipics.fscd.2026.30","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.kurims.kyoto-u.ac.jp/~terui/whitenew.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7926753742","display_name":"Can Computer be a Mathematician? Automated Theorem Proving in Undergraduate Mathematics","funder_award_id":"20K11679","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168368028.pdf","grobid_xml":"https://content.openalex.org/works/W7168368028.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,48,115,139],"purpose":[1],"of":[2,22,67,73,122,160,175],"this":[3,28,168],"paper":[4],"is":[5,50,62,86,148,164],"to":[6,11,52],"invite":[7],"structural":[8],"proof":[9,121,132],"theorists":[10],"a":[12,81,95,131,172],"challenging":[13],"problem":[14],"in":[15],"substructural":[16],"and":[17,40,42,91,113,177],"fuzzy":[18,69],"logics:":[19,33],"the":[20,60,63,92,128,134,158,161],"consistency":[21,123,159],"Cantor-\u0141ukasiewicz":[23,145],"naive":[24,96],"set":[25,97,146],"theory.":[26],"To":[27],"end,":[29],"we":[30,75,104,170],"consider":[31,76,171],"two":[32,77,117],"FLew":[34],"(Full":[35],"Lambek":[36],"calculus":[37],"with":[38,57,80,94,99,107],"exchange":[39],"weakening)":[41],"its":[43,179],"extension":[44],"\u0141":[45],"(Lukasiewicz":[46],"logic).":[47],"former":[49],"equivalent":[51],"!-free":[53],"intuitionistic":[54],"linear":[55],"logic":[56],"weakening,":[58],"while":[59,127],"latter":[61],"most":[64],"prominent":[65],"system":[66,141,163],"mathematical":[68],"logic.":[70],"For":[71],"each":[72],"them,":[74],"extensions:":[78],"one":[79],"fixed":[82,136],"point":[83,137],"operator":[84],"(which":[85],"neither":[87],"least":[88],"nor":[89],"greatest)":[90],"other":[93],"theory":[98],"unrestricted":[100],"comprehension,":[101],"so":[102],"that":[103],"end":[105],"up":[106],"four":[108],"systems:":[109],"FLew_{fp},":[110],"FLew_{set},":[111],"\u0141_{fp}":[112],"\u0141_{set}.":[114],"first":[116],"admit":[118],"an":[119],"easy":[120],"by":[124,133],"cut":[125],"elimination,":[126],"third":[129],"admits":[130],"Brouwer":[135],"theorem.":[138],"last":[140],"\u0141_{set}":[142,176],"(known":[143],"as":[144],"theory)":[147],"our":[149],"main":[150],"target.":[151],"Although":[152],"there":[153],"are":[154],"some":[155],"partial":[156],"results,":[157],"full":[162],"still":[165],"open.":[166],"In":[167],"paper,":[169],"restricted":[173],"fragment":[174],"prove":[178],"consistency.":[180]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-16T00:00:00"}