{"id":"https://openalex.org/W3030011612","doi":"https://doi.org/10.1007/s11225-020-09909-y","title":"Double Negation Semantics for Generalisations of Heyting Algebras","display_name":"Double Negation Semantics for Generalisations of Heyting Algebras","publication_year":2020,"publication_date":"2020-05-25","ids":{"openalex":"https://openalex.org/W3030011612","doi":"https://doi.org/10.1007/s11225-020-09909-y","mag":"3030011612"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-020-09909-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09909-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09909-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09909-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007731933","display_name":"Rob Arthan","orcid":"https://orcid.org/0000-0002-3801-6118"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rob Arthan","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End Road, London, E1 4NS, UK","School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End Road, London, E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084236771","display_name":"Paulo Oliva","orcid":"https://orcid.org/0000-0002-0492-4855"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paulo Oliva","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End Road, London, E1 4NS, UK","School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End Road, London, E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084236771"],"corresponding_institution_ids":["https://openalex.org/I166337079"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08963744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"109","issue":"2","first_page":"341","last_page":"365"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9954000115394592,"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/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.7629741430282593},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.6591193675994873},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6206058859825134},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6053313612937927},{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.5797717571258545},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5461186170578003},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5363890528678894},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5071134567260742},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.47076940536499023},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45239606499671936},{"id":"https://openalex.org/keywords/law-of-excluded-middle","display_name":"Law of excluded middle","score":0.44060254096984863},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.42698413133621216},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42535626888275146},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4082491397857666},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.37558186054229736},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.3564096987247467},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.319820761680603},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2569161057472229},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1672440469264984},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16018468141555786},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12764972448349},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09591734409332275}],"concepts":[{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.7629741430282593},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.6591193675994873},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6206058859825134},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6053313612937927},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.5797717571258545},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5461186170578003},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5363890528678894},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5071134567260742},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.47076940536499023},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45239606499671936},{"id":"https://openalex.org/C137155000","wikidata":"https://www.wikidata.org/wiki/Q468422","display_name":"Law of excluded middle","level":2,"score":0.44060254096984863},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.42698413133621216},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42535626888275146},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4082491397857666},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.37558186054229736},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3564096987247467},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.319820761680603},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2569161057472229},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1672440469264984},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16018468141555786},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12764972448349},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09591734409332275},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11225-020-09909-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09909-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09909-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/64467","is_oa":true,"landing_page_url":"https://qmro.qmul.ac.uk/xmlui/handle/123456789/64467","pdf_url":null,"source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"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":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1007/s11225-020-09909-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-020-09909-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-020-09909-y.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311061","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3030011612.pdf","grobid_xml":"https://content.openalex.org/works/W3030011612.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W97223672","https://openalex.org/W1515952481","https://openalex.org/W1517302412","https://openalex.org/W1608607427","https://openalex.org/W1965682580","https://openalex.org/W1977530810","https://openalex.org/W2008035652","https://openalex.org/W2023648368","https://openalex.org/W2027211978","https://openalex.org/W2054035820","https://openalex.org/W2059938612","https://openalex.org/W2063266853","https://openalex.org/W2076019293","https://openalex.org/W2083174445","https://openalex.org/W2135641508","https://openalex.org/W2149406562","https://openalex.org/W2483883535","https://openalex.org/W2592837392","https://openalex.org/W3152800724","https://openalex.org/W4213290992","https://openalex.org/W4213302443","https://openalex.org/W4246761341","https://openalex.org/W4285719527","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W4316038696","https://openalex.org/W2965954882","https://openalex.org/W2036407372","https://openalex.org/W4288266142","https://openalex.org/W1982815427","https://openalex.org/W3030011612","https://openalex.org/W2792899210","https://openalex.org/W3032338208","https://openalex.org/W10948657","https://openalex.org/W2914809917"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"presents":[3],"an":[4],"algebraic":[5],"framework":[6],"for":[7,45,75],"investigating":[8],"proposed":[9],"translations":[10,22,99],"of":[11,41,54,63,79,97],"classical":[12],"logic":[13],"into":[14],"intuitionistic":[15],"logic,":[16],"such":[17],"as":[18,33],"the":[19,55,94,107],"four":[20],"negative":[21,48],"introduced":[23],"by":[24],"Kolmogorov,":[25],"G\u00f6del,":[26],"Gentzen":[27],"and":[28,36,68],"Glivenko.":[29],"We":[30,50],"view":[31],"these":[32,98],"variant":[34],"semantics":[35],"present":[37],"a":[38,46,72,76],"semantic":[39],"formulation":[40],"Troelstra\u2019s":[42,104],"syntactic":[43,95],"criteria":[44,105],"satisfactory":[47],"translation.":[49],"consider":[51],"how":[52],"each":[53],"above-mentioned":[56],"translation":[57,73],"schemes":[58],"behaves":[59],"on":[60],"two":[61],"generalisations":[62],"Heyting":[64],"algebras:":[65],"bounded":[66,69],"pocrims":[67],"hoops.":[70],"When":[71],"fails":[74],"particular":[77],"class":[78],"algebras,":[80],"we":[81,91],"demonstrate":[82],"that":[83,93],"failure":[84],"via":[85],"specific":[86],"finite":[87],"examples.":[88],"Using":[89],"these,":[90],"prove":[92],"version":[96],"will":[100],"fail":[101],"to":[102],"satisfy":[103],"in":[106],"corresponding":[108],"substructural":[109],"logical":[110],"setting.":[111]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-06-05T00:00:00"}