Residuated lattices: an algebraic glimpse at substructural logics
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
2007
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 151 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. - Considers both the algebraic and logical perspective within a common framework. - Written by experts in the area. - Easily accessible to graduate students and researchers from other fields. - Results summarized in tables and diagrams to provide an overview of the area. - Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions. - Provides a concise introduction to the subject and leads directly to research topics. - The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level Includes bibliographical references (p. 479-495) and index |
| Beschreibung: | 1 Online-Ressource (xxi, 509 p.) |
| ISBN: | 9780444521415 0444521410 9780080489643 0080489648 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317162 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444521415 |9 978-0-444-52141-5 | ||
| 020 | |a 0444521410 |9 0-444-52141-0 | ||
| 020 | |a 9780080489643 |c electronic bk. |9 978-0-08-048964-3 | ||
| 020 | |a 0080489648 |c electronic bk. |9 0-08-048964-8 | ||
| 035 | |a (ZDB-33-EBS)ocn162130498 | ||
| 035 | |a (OCoLC)162130498 | ||
| 035 | |a (DE-599)BVBBV042317162 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511.33 |2 22 | |
| 245 | 1 | 0 | |a Residuated lattices |b an algebraic glimpse at substructural logics |c Nikolaos Galatos ... [et al.] |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 2007 | |
| 300 | |a 1 Online-Ressource (xxi, 509 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 151 | |
| 500 | |a The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. | ||
| 500 | |a As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. | ||
| 500 | |a Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. | ||
| 500 | |a In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. - Considers both the algebraic and logical perspective within a common framework. - Written by experts in the area. - Easily accessible to graduate students and researchers from other fields. - Results summarized in tables and diagrams to provide an overview of the area. | ||
| 500 | |a - Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions. - Provides a concise introduction to the subject and leads directly to research topics. - The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level | ||
| 500 | |a Includes bibliographical references (p. 479-495) and index | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Algebraic logic |2 local | |
| 650 | 7 | |a Lattice theory |2 local | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Lattice theory |2 fast | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 4 | |a Lattice theory | |
| 700 | 1 | |a Galatos, Nikolaos |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444521415 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754153 | ||
Datensatz im Suchindex
| _version_ | 1804152913288757248 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317162 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162130498 (OCoLC)162130498 (DE-599)BVBBV042317162 |
| dewey-full | 511.33 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.33 |
| dewey-search | 511.33 |
| dewey-sort | 3511.33 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05847nmm a2200553zcb4500</leader><controlfield tag="001">BV042317162</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444521415</subfield><subfield code="9">978-0-444-52141-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444521410</subfield><subfield code="9">0-444-52141-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080489643</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-048964-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080489648</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-048964-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162130498</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130498</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317162</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.33</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Residuated lattices</subfield><subfield code="b">an algebraic glimpse at substructural logics</subfield><subfield code="c">Nikolaos Galatos ... [et al.]</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxi, 509 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 151</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. - Considers both the algebraic and logical perspective within a common framework. - Written by experts in the area. - Easily accessible to graduate students and researchers from other fields. - Results summarized in tables and diagrams to provide an overview of the area. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">- Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions. - Provides a concise introduction to the subject and leads directly to research topics. - The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 479-495) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">local</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lattice theory</subfield><subfield code="2">local</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lattice theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lattice theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Galatos, Nikolaos</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444521415</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754153</subfield></datafield></record></collection> |
| id | DE-604.BV042317162 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444521415 0444521410 9780080489643 0080489648 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754153 |
| oclc_num | 162130498 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (xxi, 509 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Residuated lattices an algebraic glimpse at substructural logics Nikolaos Galatos ... [et al.] 1st ed Amsterdam Elsevier 2007 1 Online-Ressource (xxi, 509 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 151 The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. - Considers both the algebraic and logical perspective within a common framework. - Written by experts in the area. - Easily accessible to graduate students and researchers from other fields. - Results summarized in tables and diagrams to provide an overview of the area. - Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions. - Provides a concise introduction to the subject and leads directly to research topics. - The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level Includes bibliographical references (p. 479-495) and index MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic local Lattice theory local Algebraic logic fast Lattice theory fast Algebraic logic Lattice theory Galatos, Nikolaos Sonstige oth http://www.sciencedirect.com/science/book/9780444521415 Verlag Volltext |
| spellingShingle | Residuated lattices an algebraic glimpse at substructural logics MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic local Lattice theory local Algebraic logic fast Lattice theory fast Algebraic logic Lattice theory |
| title | Residuated lattices an algebraic glimpse at substructural logics |
| title_auth | Residuated lattices an algebraic glimpse at substructural logics |
| title_exact_search | Residuated lattices an algebraic glimpse at substructural logics |
| title_full | Residuated lattices an algebraic glimpse at substructural logics Nikolaos Galatos ... [et al.] |
| title_fullStr | Residuated lattices an algebraic glimpse at substructural logics Nikolaos Galatos ... [et al.] |
| title_full_unstemmed | Residuated lattices an algebraic glimpse at substructural logics Nikolaos Galatos ... [et al.] |
| title_short | Residuated lattices |
| title_sort | residuated lattices an algebraic glimpse at substructural logics |
| title_sub | an algebraic glimpse at substructural logics |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic local Lattice theory local Algebraic logic fast Lattice theory fast Algebraic logic Lattice theory |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Algebraic logic Lattice theory |
| url | http://www.sciencedirect.com/science/book/9780444521415 |
| work_keys_str_mv | AT galatosnikolaos residuatedlatticesanalgebraicglimpseatsubstructurallogics |