{"id":"https://openalex.org/W1519705629","doi":"https://doi.org/10.1023/a:1004982417404","title":"Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics","display_name":"Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics","publication_year":1997,"publication_date":"1997-05-01","ids":{"openalex":"https://openalex.org/W1519705629","doi":"https://doi.org/10.1023/a:1004982417404","mag":"1519705629"},"language":"en","primary_location":{"id":"doi:10.1023/a:1004982417404","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1004982417404","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069919176","display_name":"Chrysafis Hartonas","orcid":"https://orcid.org/0000-0002-3436-4844"},"institutions":[{"id":"https://openalex.org/I162608824","display_name":"University of Sussex","ror":"https://ror.org/00ayhx656","country_code":"GB","type":"education","lineage":["https://openalex.org/I162608824"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Chrysafis Hartonas","raw_affiliation_strings":["School of Cognitive and Computing Sciences (COGS), University of Sussex at Brighton, Falmer, Brighton, BN1 9QH, UK","School of Cognitive and Computing Sciences (COGS), University of Sussex at Brighton, Falmer, Brighton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Cognitive and Computing Sciences (COGS), University of Sussex at Brighton, Falmer, Brighton, BN1 9QH, UK","institution_ids":["https://openalex.org/I162608824"]},{"raw_affiliation_string":"School of Cognitive and Computing Sciences (COGS), University of Sussex at Brighton, Falmer, Brighton, UK","institution_ids":["https://openalex.org/I162608824"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5069919176"],"corresponding_institution_ids":["https://openalex.org/I162608824"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.0214,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.72604125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"58","issue":"3","first_page":"403","last_page":"450"},"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.9980999827384949,"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.9840999841690063,"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/mathematics","display_name":"Mathematics","score":0.7136596441268921},{"id":"https://openalex.org/keywords/closure-operator","display_name":"Closure operator","score":0.6577713489532471},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.5358579754829407},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.49353158473968506},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.48360055685043335},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.47548094391822815},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.46364083886146545},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4598700702190399},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.444327175617218},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.43051019310951233},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.42910507321357727},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.4197382926940918},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.41645869612693787},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41014406085014343},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3993002772331238},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16042035818099976},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.11484432220458984},{"id":"https://openalex.org/keywords/closed-set","display_name":"Closed set","score":0.09429088234901428},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09073930978775024}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7136596441268921},{"id":"https://openalex.org/C160771489","wikidata":"https://www.wikidata.org/wiki/Q10564851","display_name":"Closure operator","level":3,"score":0.6577713489532471},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.5358579754829407},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.49353158473968506},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.48360055685043335},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47548094391822815},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.46364083886146545},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4598700702190399},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.444327175617218},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.43051019310951233},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.42910507321357727},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.4197382926940918},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.41645869612693787},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41014406085014343},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3993002772331238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16042035818099976},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.11484432220458984},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.09429088234901428},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09073930978775024},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"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/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1004982417404","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1004982417404","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W17806371","https://openalex.org/W1505344996","https://openalex.org/W1554516311","https://openalex.org/W1574007497","https://openalex.org/W1968888224","https://openalex.org/W1985931606","https://openalex.org/W1989314289","https://openalex.org/W1991748341","https://openalex.org/W1992205482","https://openalex.org/W2003452157","https://openalex.org/W2003677331","https://openalex.org/W2010047839","https://openalex.org/W2017542140","https://openalex.org/W2018202519","https://openalex.org/W2020399649","https://openalex.org/W2033002247","https://openalex.org/W2046750700","https://openalex.org/W2047459889","https://openalex.org/W2054571652","https://openalex.org/W2060849503","https://openalex.org/W2063687250","https://openalex.org/W2071467583","https://openalex.org/W2079600887","https://openalex.org/W2082707306","https://openalex.org/W2095436832","https://openalex.org/W2112576833","https://openalex.org/W2140351059","https://openalex.org/W2143620943","https://openalex.org/W2154114798","https://openalex.org/W2315064349","https://openalex.org/W2911865844","https://openalex.org/W3128976560","https://openalex.org/W4233580922","https://openalex.org/W4239173363","https://openalex.org/W4244478014","https://openalex.org/W4252706706","https://openalex.org/W4254910937","https://openalex.org/W4388313844"],"related_works":["https://openalex.org/W4234070243","https://openalex.org/W2027281510","https://openalex.org/W3203933509","https://openalex.org/W2281643837","https://openalex.org/W4244478014","https://openalex.org/W1549922443","https://openalex.org/W2910112965","https://openalex.org/W889545816","https://openalex.org/W1840469622","https://openalex.org/W2038216920"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":7},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2016-06-24T00:00:00"}