Leo Esakia on duality in modal and intuitionistic logics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Springer
2014
|
| Schriftenreihe: | Outstanding Contributions to Logic
4 |
| Schlagworte: | |
| Online-Zugang: | UBG01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIII, 334 S.) graph. Darst. |
| ISBN: | 9789401788601 |
| DOI: | 10.1007/978-94-017-8860-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041988430 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140723s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401788601 |c Online |9 978-94-017-8860-1 | ||
| 024 | 7 | |a 10.1007/978-94-017-8860-1 |2 doi | |
| 035 | |a (OCoLC)882487973 | ||
| 035 | |a (DE-599)BSZ409577928 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-739 | ||
| 050 | 0 | |a BC1-199 | |
| 082 | 0 | |a 510 | |
| 084 | |a PHI011000 |2 sdnb | ||
| 084 | |a HPL |2 sdnb | ||
| 100 | 1 | |a Bezhanishvili, Guram |e Verfasser |0 (DE-588)1054052204 |4 aut | |
| 245 | 1 | 0 | |a Leo Esakia on duality in modal and intuitionistic logics |c Guram Bezhanishvili, ed. |
| 264 | 1 | |a Dordrecht [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XIII, 334 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Outstanding Contributions to Logic |v 4 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Philosophy | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-94-017-8859-5 |
| 830 | 0 | |a Outstanding Contributions to Logic |v 4 |w (DE-604)BV041420236 |9 4 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-8860-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SHU | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027430716 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-017-8860-1 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-94-017-8860-1 |l UPA01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152392653996032 |
|---|---|
| adam_text | LEO ESAKIA ON DUALITY IN MODAL AND INTUITIONISTIC LOGICS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
INTRODUCTION
ESAKIA’S BIOGRAPHY
CANONICAL EXTENSIONS, ESAKIA SPACES, AND UNIVERSAL MODELS; MAI GEHRKE
FREE MODAL ALGEBRAS REVISITED: THE STEP-BY-STEP METHOD; NICK
BEZHANISHVILI, SILVIO GHILARDI, AND MAMUKA JIBLADZE
EASKIA DUALITY AND ITS EXTENSIONS; SERGIO A. CELANI AND RAMON JANSANA
ON THE BLOK-ESAKIA THEOREM; FRANK WOLTER AND MICHAEL ZAKHARYASCHEV
MODAL LOGIC AND THE VIETORIS FUNCTOR; YDE VENEMA AND JACOB VOSMAER
LOGIC KM: A BIOGRAPHY; ALEXEI MURAVITSKY
CONSTRUCTIVE MODALITIES WITH PROVABILITY SMACK; TADEUSZ LITAK
CANTOR-BENDIXSON PROPERTIES OF THE ASSEMBLY OF A FRAME; HAROLD SIMMONS
TOPOLOGICAL INTERPRETATIONS OF PROVABILITY LOGIC; LEV BEKLEMISHEV AND
DAVID GABELAIA
DERIVATIONAL MODAL LOGICS WITH THE DIFFERENCE MODALITY; ANDREY KUDINOV
AND VALENTIN SHEHTMAN
ESAKIA’S BIBLIOGRAPHY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LEO ESAKIA ON DUALITY IN MODAL AND INTUITIONISTIC LOGICS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS VOLUME IS DEDICATED TO LEO ESAKIA S CONTRIBUTIONS TO THE THEORY OF
MODAL AND INTUITIONISTIC SYSTEMS. CONSISTING OF 10 CHAPTERS, WRITTEN BY
LEADING EXPERTS, THIS VOLUME DISCUSSES ESAKIA’S ORIGINAL CONTRIBUTIONS
AND CONSEQUENT DEVELOPMENTS THAT HAVE HELPED TO SHAPE DUALITY THEORY FOR
MODAL AND INTUITIONISTIC LOGICS, AND TO UTILIZE IT TO OBTAIN SOME MAJOR
RESULTS IN THE AREA. BEGINNING WITH A CHAPTER WHICH EXPLORES ESAKIA
DUALITY FOR S4-ALGEBRAS, THE VOLUME GOES ON TO EXPLORE ESAKIA DUALITY
FOR HEYTING ALGEBRAS AND ITS GENERALIZATIONS TO WEAK HEYTING ALGEBRAS
AND IMPLICATIVE SEMILATTICES. THE BOOK ALSO DIVES INTO THE BLOK-ESAKIA
THEOREM AND PROVIDES AN OUTLINE OF THE INTUITIONISTIC MODAL LOGIC KM
WHICH IS CLOSELY RELATED TO THE GOEDEL-LOEB PROVABILITY LOGIC GL. ONE
CHAPTER SCRUTINIZES ESAKIA’S WORK INTERPRETING MODAL DIAMOND AS THE
DERIVATIVE OF A TOPOLOGICAL SPACE WITHIN THE SETTING OF POINT-FREE
TOPOLOGY. THE FINAL CHAPTER IN THE VOLUME IS DEDICATED TO THE
DERIVATIONAL SEMANTICS OF MODAL LOGIC AND OTHER RELATED ISSUES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Bezhanishvili, Guram |
| author_GND | (DE-588)1054052204 |
| author_facet | Bezhanishvili, Guram |
| author_role | aut |
| author_sort | Bezhanishvili, Guram |
| author_variant | g b gb |
| building | Verbundindex |
| bvnumber | BV041988430 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC1-199 |
| callnumber-raw | BC1-199 |
| callnumber-search | BC1-199 |
| callnumber-sort | BC 11 3199 |
| callnumber-subject | BC - Logic |
| collection | ZDB-2-SHU |
| ctrlnum | (OCoLC)882487973 (DE-599)BSZ409577928 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-94-017-8860-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02129nmm a2200493 cb4500</leader><controlfield tag="001">BV041988430</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140723s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401788601</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-8860-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-8860-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)882487973</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ409577928</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC1-199</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI011000</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">HPL</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Guram</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1054052204</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Leo Esakia on duality in modal and intuitionistic logics</subfield><subfield code="c">Guram Bezhanishvili, ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 334 S.)</subfield><subfield code="b">graph. Darst.</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="1" ind2=" "><subfield code="a">Outstanding Contributions to Logic</subfield><subfield code="v">4</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-94-017-8859-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Outstanding Contributions to Logic</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV041420236</subfield><subfield code="9">4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-8860-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027430716</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-8860-1</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-017-8860-1</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041988430 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:09:59Z |
| institution | BVB |
| isbn | 9789401788601 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027430716 |
| oclc_num | 882487973 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-739 |
| physical | 1 Online-Ressource (XIII, 334 S.) graph. Darst. |
| psigel | ZDB-2-SHU |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Outstanding Contributions to Logic |
| series2 | Outstanding Contributions to Logic |
| spelling | Bezhanishvili, Guram Verfasser (DE-588)1054052204 aut Leo Esakia on duality in modal and intuitionistic logics Guram Bezhanishvili, ed. Dordrecht [u.a.] Springer 2014 1 Online-Ressource (XIII, 334 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Outstanding Contributions to Logic 4 Informatik Philosophie Philosophy (General) Logic Computer science Philosophy Erscheint auch als Druckausgabe 978-94-017-8859-5 Outstanding Contributions to Logic 4 (DE-604)BV041420236 4 https://doi.org/10.1007/978-94-017-8860-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Bezhanishvili, Guram Leo Esakia on duality in modal and intuitionistic logics Outstanding Contributions to Logic Informatik Philosophie Philosophy (General) Logic Computer science Philosophy |
| title | Leo Esakia on duality in modal and intuitionistic logics |
| title_auth | Leo Esakia on duality in modal and intuitionistic logics |
| title_exact_search | Leo Esakia on duality in modal and intuitionistic logics |
| title_full | Leo Esakia on duality in modal and intuitionistic logics Guram Bezhanishvili, ed. |
| title_fullStr | Leo Esakia on duality in modal and intuitionistic logics Guram Bezhanishvili, ed. |
| title_full_unstemmed | Leo Esakia on duality in modal and intuitionistic logics Guram Bezhanishvili, ed. |
| title_short | Leo Esakia on duality in modal and intuitionistic logics |
| title_sort | leo esakia on duality in modal and intuitionistic logics |
| topic | Informatik Philosophie Philosophy (General) Logic Computer science Philosophy |
| topic_facet | Informatik Philosophie Philosophy (General) Logic Computer science Philosophy |
| url | https://doi.org/10.1007/978-94-017-8860-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027430716&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV041420236 |
| work_keys_str_mv | AT bezhanishviliguram leoesakiaondualityinmodalandintuitionisticlogics |