{"id":"https://openalex.org/W4226324271","doi":"https://doi.org/10.1093/jigpal/jzac041","title":"Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation","display_name":"Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation","publication_year":2022,"publication_date":"2022-03-20","ids":{"openalex":"https://openalex.org/W4226324271","doi":"https://doi.org/10.1093/jigpal/jzac041"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzac041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzac041","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","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/A5042323062","display_name":"Anuj Kumar More","orcid":"https://orcid.org/0000-0002-4163-6502"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Anuj Kumar More","raw_affiliation_strings":["Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India","institution_ids":["https://openalex.org/I94234084"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046102840","display_name":"Mohua Banerjee","orcid":"https://orcid.org/0000-0002-7517-0923"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Mohua Banerjee","raw_affiliation_strings":["Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics Indian Institute of Technology Kanpur , Kanpur 208016, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046102840"],"corresponding_institution_ids":["https://openalex.org/I94234084"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.50187272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"31","issue":"3","first_page":"441","last_page":"474"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9984999895095825,"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/negation","display_name":"Negation","score":0.7542539834976196},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.695872962474823},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.6791670322418213},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6355889439582825},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5365588068962097},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.47816306352615356},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.46025145053863525},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.4384400248527527},{"id":"https://openalex.org/keywords/algebraic-logic","display_name":"Algebraic logic","score":0.4342940151691437},{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.4160526990890503},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.3671231269836426},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.35952094197273254},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.304408460855484},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2159392237663269},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1074049174785614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10015776753425598}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7542539834976196},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.695872962474823},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.6791670322418213},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6355889439582825},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5365588068962097},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47816306352615356},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.46025145053863525},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.4384400248527527},{"id":"https://openalex.org/C86523455","wikidata":"https://www.wikidata.org/wiki/Q1005222","display_name":"Algebraic logic","level":3,"score":0.4342940151691437},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.4160526990890503},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3671231269836426},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.35952094197273254},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.304408460855484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2159392237663269},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1074049174785614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10015776753425598},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzac041","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzac041","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W10948657","https://openalex.org/W69609604","https://openalex.org/W87187940","https://openalex.org/W109748967","https://openalex.org/W125654268","https://openalex.org/W623458071","https://openalex.org/W889431080","https://openalex.org/W1028909502","https://openalex.org/W1505344996","https://openalex.org/W1519478560","https://openalex.org/W1553743666","https://openalex.org/W1555263082","https://openalex.org/W1602405256","https://openalex.org/W1699512023","https://openalex.org/W1998423879","https://openalex.org/W2007838222","https://openalex.org/W2012254684","https://openalex.org/W2012457462","https://openalex.org/W2043835012","https://openalex.org/W2058080516","https://openalex.org/W2058396072","https://openalex.org/W2067638902","https://openalex.org/W2074503372","https://openalex.org/W2075277371","https://openalex.org/W2077235110","https://openalex.org/W2078212736","https://openalex.org/W2093397547","https://openalex.org/W2122458631","https://openalex.org/W2122478249","https://openalex.org/W2133333359","https://openalex.org/W2331382175","https://openalex.org/W2498884472","https://openalex.org/W2561113363","https://openalex.org/W2892215877","https://openalex.org/W2914809917","https://openalex.org/W2984612608","https://openalex.org/W4211036707","https://openalex.org/W4213290992","https://openalex.org/W4255833381","https://openalex.org/W4297918568","https://openalex.org/W4313343333","https://openalex.org/W4388311772","https://openalex.org/W6602856529","https://openalex.org/W6689341848","https://openalex.org/W6732651597","https://openalex.org/W6739656760"],"related_works":["https://openalex.org/W2074934605","https://openalex.org/W2965954882","https://openalex.org/W2119801970","https://openalex.org/W2295123434","https://openalex.org/W4287634368","https://openalex.org/W2295284441","https://openalex.org/W4288266142","https://openalex.org/W1972088297","https://openalex.org/W1982815427","https://openalex.org/W4387020084"],"abstract_inverted_index":{"Abstract":[0],"Two":[1],"algebraic":[2,232],"structures,":[3],"the":[4,11,46,113,136,153,172,176,190,194,204,215,240,291,295],"contrapositionally":[5,12],"complemented":[6,15],"Heyting":[7,16],"algebra":[8,17],"(ccHa)":[9],"and":[10,36,58,74,91,103,120,133,140,145,164,209,227,242,264,300],"$\\vee":[13],"$":[14],"(c$\\vee":[18],"$cHa),":[19],"are":[20,31,53,56,60,83,124,142,149,212,223,228,245,275],"studied.":[21],"The":[22,221,237],"salient":[23],"feature":[24],"of":[25,50,112,131,162,171,186,193,197,225,255,258,272,290],"these":[26,51,160],"algebras":[27,52],"is":[28,95,181,267,282],"that":[29,188,274,284],"there":[30],"two":[32,47,114,173,206,235],"negations,":[33,115],"one":[34,289],"intuitionistic":[35,90],"another":[37],"minimal":[38,92],"in":[39,175,239,251],"nature,":[40],"along":[41],"with":[42,62,67,89,126,157,288],"a":[43,108,178,270],"condition":[44],"connecting":[45],"operators.":[48],"Properties":[49],"discussed,":[54,213],"examples":[55],"given":[57],"comparisons":[59],"made":[61],"relevant":[63,231],"algebras.":[64],"Intuitionistic":[65],"Logic":[66],"Minimal":[68],"Negation":[69],"(ILM)":[70],"corresponding":[71],"to":[72,97,100,128,151,159,166,247],"ccHas":[73,226],"its":[75,87],"extension":[76],"${\\textrm":[77,121,146,301],"{ILM}}$-${\\vee":[78,122,147,302],"}$":[79,123,148],"for":[80,118,203,262,298],"c$\\vee":[81],"$cHas":[82],"then":[84],"investigated.":[85],"Besides":[86],"relations":[88],"logics,":[93],"ILM":[94,119,144,299],"observed":[96,283],"be":[98,167],"related":[99],"Peirce\u2019s":[101],"logic":[102,105],"Vakarelov\u2019s":[104],"MIN.":[106],"With":[107],"focus":[109],"on":[110,277],"properties":[111],"relational":[116,296],"semantics":[117,261,297],"obtained":[125],"respect":[127,158],"four":[129,292],"classes":[130,137,161,293],"frames,":[132],"inter-translations":[134],"between":[135],"preserving":[138],"truth":[139],"validity":[141],"provided.":[143],"shown":[150,246],"have":[152],"finite":[154],"model":[155],"property":[156],"frames":[163,273],"proved":[165],"decidable.":[168],"Extracting":[169],"features":[170],"negations":[174,187,238],"algebras,":[177],"further":[179],"investigation":[180],"made,":[182],"following":[183],"logical":[184,201],"studies":[185],"define":[189],"operators":[191],"independently":[192],"binary":[195],"operator":[196],"implication.":[198,220],"Using":[199],"Dunn\u2019s":[200,256,278],"framework":[202],"purpose,":[205],"logics":[207],"$K_{im}$":[208,263],"$K_{im-{\\vee":[210,243,265],"}}$":[211,266],"where":[214],"language":[216],"does":[217],"not":[218],"include":[219],"$K_{im}$-algebras":[222,241],"reducts":[224],"different":[229],"from":[230],"structures":[233],"having":[234],"negations.":[236,259],"}}$-algebras":[244],"occupy":[248],"distinct":[249],"positions":[250],"an":[252],"enhanced":[253],"form":[254],"kite":[257],"Relational":[260],"provided":[268],"by":[269],"class":[271,286],"based":[276],"compatibility":[279],"frames.":[280],"It":[281],"this":[285],"coincides":[287],"giving":[294],"}$.":[303]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}