Algebraic Perspectives on Substructural Logics:
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYS...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2021
|
| Ausgabe: | 1st edition |
| Schriftenreihe: | Trends in Logic, Studia Logica Library
55 |
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext |
| Zusammenfassung: | This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics |
| Beschreibung: | Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan) |
| Beschreibung: | 1 Online-Ressource (X, 193 Seiten) Illustrationen |
| ISBN: | 9783030521639 |
| DOI: | 10.1007/978-3-030-52163-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046996689 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201113s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030521639 |9 978-3-030-52163-9 | ||
| 024 | 7 | |a 10.1007/978-3-030-52163-9 |2 doi | |
| 035 | |a (ZDB-2-REP)978-3-030-52163-9 | ||
| 035 | |a (OCoLC)1220889118 | ||
| 035 | |a (DE-599)BVBBV046996689 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-188 | ||
| 082 | 0 | |a 160 | |
| 245 | 1 | 0 | |a Algebraic Perspectives on Substructural Logics |c edited by Davide Fazio, Antonio Ledda, Francesco Paoli |
| 250 | |a 1st edition | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2021 | |
| 300 | |a 1 Online-Ressource (X, 193 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Trends in Logic, Studia Logica Library |v 55 | |
| 500 | |a Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan) | ||
| 520 | |a This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics | ||
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Proof theory | |
| 700 | 1 | |a Fazio, Davide |4 edt | |
| 700 | 1 | |a Ledda, Antonio |4 edt | |
| 700 | 1 | |a Paoli, Francesco |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783030521622 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783030521646 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783030521653 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-52163-9 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ebook |a ZDB-2-REP | ||
| 940 | 1 | |q ZDB-2-REP_2021_Fremddaten | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032404432 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-030-52163-9 |l UBT01 |p ZDB-2-REP |q ZDB-2-REP_2021_Fremddaten |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804181942737829888 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Fazio, Davide Ledda, Antonio Paoli, Francesco |
| author2_role | edt edt edt |
| author2_variant | d f df a l al f p fp |
| author_facet | Fazio, Davide Ledda, Antonio Paoli, Francesco |
| building | Verbundindex |
| bvnumber | BV046996689 |
| collection | ebook ZDB-2-REP |
| ctrlnum | (ZDB-2-REP)978-3-030-52163-9 (OCoLC)1220889118 (DE-599)BVBBV046996689 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| doi_str_mv | 10.1007/978-3-030-52163-9 |
| edition | 1st edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03944nmm a2200481zcb4500</leader><controlfield tag="001">BV046996689</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201113s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030521639</subfield><subfield code="9">978-3-030-52163-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-52163-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-REP)978-3-030-52163-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1220889118</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046996689</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic Perspectives on Substructural Logics</subfield><subfield code="c">edited by Davide Fazio, Antonio Ledda, Francesco Paoli</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 193 Seiten)</subfield><subfield code="b">Illustrationen</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">Trends in Logic, Studia Logica Library</subfield><subfield code="v">55</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fazio, Davide</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ledda, Antonio</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paoli, Francesco</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783030521622</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783030521646</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783030521653</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-52163-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield><subfield code="a">ZDB-2-REP</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-REP_2021_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032404432</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-52163-9</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-REP</subfield><subfield code="q">ZDB-2-REP_2021_Fremddaten</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046996689 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T15:55:20Z |
| indexdate | 2024-07-10T08:59:40Z |
| institution | BVB |
| isbn | 9783030521639 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032404432 |
| oclc_num | 1220889118 |
| open_access_boolean | |
| owner | DE-703 DE-188 |
| owner_facet | DE-703 DE-188 |
| physical | 1 Online-Ressource (X, 193 Seiten) Illustrationen |
| psigel | ebook ZDB-2-REP ZDB-2-REP_2021_Fremddaten ZDB-2-REP ZDB-2-REP_2021_Fremddaten |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer International Publishing |
| record_format | marc |
| series2 | Trends in Logic, Studia Logica Library |
| spelling | Algebraic Perspectives on Substructural Logics edited by Davide Fazio, Antonio Ledda, Francesco Paoli 1st edition Cham Springer International Publishing 2021 1 Online-Ressource (X, 193 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Trends in Logic, Studia Logica Library 55 Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan) This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics Logic Algebra Proof theory Fazio, Davide edt Ledda, Antonio edt Paoli, Francesco edt Erscheint auch als Druck-Ausgabe 9783030521622 Erscheint auch als Druck-Ausgabe 9783030521646 Erscheint auch als Druck-Ausgabe 9783030521653 https://doi.org/10.1007/978-3-030-52163-9 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Algebraic Perspectives on Substructural Logics Logic Algebra Proof theory |
| title | Algebraic Perspectives on Substructural Logics |
| title_auth | Algebraic Perspectives on Substructural Logics |
| title_exact_search | Algebraic Perspectives on Substructural Logics |
| title_exact_search_txtP | Algebraic Perspectives on Substructural Logics |
| title_full | Algebraic Perspectives on Substructural Logics edited by Davide Fazio, Antonio Ledda, Francesco Paoli |
| title_fullStr | Algebraic Perspectives on Substructural Logics edited by Davide Fazio, Antonio Ledda, Francesco Paoli |
| title_full_unstemmed | Algebraic Perspectives on Substructural Logics edited by Davide Fazio, Antonio Ledda, Francesco Paoli |
| title_short | Algebraic Perspectives on Substructural Logics |
| title_sort | algebraic perspectives on substructural logics |
| topic | Logic Algebra Proof theory |
| topic_facet | Logic Algebra Proof theory |
| url | https://doi.org/10.1007/978-3-030-52163-9 |
| work_keys_str_mv | AT faziodavide algebraicperspectivesonsubstructurallogics AT leddaantonio algebraicperspectivesonsubstructurallogics AT paolifrancesco algebraicperspectivesonsubstructurallogics |