{"id":"https://openalex.org/W2900425244","doi":"https://doi.org/10.1002/malq.201700012","title":"Extending paraconsistent quantum logic: a single\u2010antecedent/succedent system approach","display_name":"Extending paraconsistent quantum logic: a single\u2010antecedent/succedent system approach","publication_year":2018,"publication_date":"2018-11-01","ids":{"openalex":"https://openalex.org/W2900425244","doi":"https://doi.org/10.1002/malq.201700012","mag":"2900425244"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201700012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201700012","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"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":"Mathematical Logic Quarterly","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/A5008824087","display_name":"Norihiro Kamide","orcid":"https://orcid.org/0000-0001-7736-8055"},"institutions":[{"id":"https://openalex.org/I87531838","display_name":"Teikyo University","ror":"https://ror.org/01gaw2478","country_code":"JP","type":"education","lineage":["https://openalex.org/I87531838"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Norihiro Kamide","raw_affiliation_strings":["Department of Information and Electronic Engineering, Faculty of Science and Engineering Teikyo University  Toyosatodai 1\u20101 Utsunomiya Tochigi 320\u20108551 Japan","Department of Information and Electronic Engineering, Faculty of Science and Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, 320-8551 Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Electronic Engineering, Faculty of Science and Engineering Teikyo University  Toyosatodai 1\u20101 Utsunomiya Tochigi 320\u20108551 Japan","institution_ids":["https://openalex.org/I87531838"]},{"raw_affiliation_string":"Department of Information and Electronic Engineering, Faculty of Science and Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, 320-8551 Japan","institution_ids":["https://openalex.org/I87531838"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008824087"],"corresponding_institution_ids":["https://openalex.org/I87531838"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.5197,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64946978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"64","issue":"4-5","first_page":"371","last_page":"386"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9983000159263611,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9965999722480774,"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/sequent","display_name":"Sequent","score":0.762474536895752},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.6780596971511841},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.642821192741394},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.6288787126541138},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5285224914550781},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45517778396606445},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4501892030239105},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4501035213470459},{"id":"https://openalex.org/keywords/cut-elimination-theorem","display_name":"Cut-elimination theorem","score":0.4374352991580963},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4131508469581604},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3976592421531677},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3420296311378479},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.2593035101890564},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.2379126250743866},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.15457043051719666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14183127880096436},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10824370384216309}],"concepts":[{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.762474536895752},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.6780596971511841},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.642821192741394},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.6288787126541138},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5285224914550781},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45517778396606445},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4501892030239105},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4501035213470459},{"id":"https://openalex.org/C111404639","wikidata":"https://www.wikidata.org/wiki/Q376166","display_name":"Cut-elimination theorem","level":4,"score":0.4374352991580963},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4131508469581604},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3976592421531677},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3420296311378479},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2593035101890564},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.2379126250743866},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.15457043051719666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14183127880096436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10824370384216309},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201700012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201700012","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"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":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4766601923","display_name":"Theory and applications of non-classical logics","funder_award_id":"18K11171","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W64416701","https://openalex.org/W136232721","https://openalex.org/W1487409515","https://openalex.org/W1551308710","https://openalex.org/W2001483956","https://openalex.org/W2012457462","https://openalex.org/W2023605209","https://openalex.org/W2023808162","https://openalex.org/W2098157340","https://openalex.org/W2119207094","https://openalex.org/W2150425213","https://openalex.org/W2170526408","https://openalex.org/W2594264882","https://openalex.org/W3126996113","https://openalex.org/W4245674526"],"related_works":["https://openalex.org/W1562648369","https://openalex.org/W2584381231","https://openalex.org/W4295728898","https://openalex.org/W4289719533","https://openalex.org/W2562634993","https://openalex.org/W3090765541","https://openalex.org/W4253113110","https://openalex.org/W1147619178","https://openalex.org/W2504661205","https://openalex.org/W2560336053"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"study,":[3],"some":[4,79],"conservative":[5],"extensions":[6,65],"of":[7,48,66],"paraconsistent":[8,27,50],"quantum":[9,28],"logic,":[10],"such":[11],"as":[12,45,60,85,87],"Nelsonian,":[13],"modal,":[14,61],"infinitary":[15,62],"and":[16,41,56,63,70,78,83,103],"temporal,":[17],"are":[18,57,76,90,109],"investigated":[19],"by":[20,38],"extending":[21],"a":[22,46,104],"single\u2010antecedent/succedent":[23],"sequent":[24,31],"calculus":[25,32],"for":[26,73,97,106],"logic.":[29,52],"A":[30,95],",":[33,55,84],"which":[34],"is":[35,43],"obtained":[36],"from":[37],"adding":[39],"implication":[40],"co\u2010implication,":[42],"introduced":[44],"variant":[47],"Nelson's":[49],"four\u2010valued":[51],"Sequent":[53],"calculi":[54,75,81],"introduced,":[58],"respectively,":[59],"temporal":[64],".":[67],"The":[68],"cut\u2010elimination":[69],"duality":[71],"theorems":[72],"these":[74],"proved,":[77],"extended":[80],"including":[82],"well":[86],"their":[88],"fragments,":[89],"shown":[91],"to":[92],"be":[93],"decidable.":[94],"theorem":[96,105],"embedding":[98,107],"into":[99,108],"its":[100],"negation\u2010free":[101],"fragment":[102],"proved.":[110]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}