Generalized Galois logics relational semantics of nonclassical logical calculi
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publ.
2008
|
| Schriftenreihe: | CSLI lecture notes
188 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035316653 | ||
| 003 | DE-604 | ||
| 005 | 20090218 | ||
| 007 | t| | ||
| 008 | 090217s2008 xx a||| |||| 00||| eng d | ||
| 010 | |a 2008031552 | ||
| 020 | |a 1575865742 |c pbk. |9 1-575-86574-2 | ||
| 020 | |a 9781575865744 |c pbk. |9 978-1-575-86574-4 | ||
| 020 | |a 1575865734 |c cloth |9 1-575-86573-4 | ||
| 020 | |a 9781575865737 |c cloth |9 978-1-575-86573-7 | ||
| 035 | |a (OCoLC)637316652 | ||
| 035 | |a (DE-599)GBV572340079 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 050 | 0 | |a QA9.4 | |
| 082 | 0 | |a 512/.32 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Bimbó, Katalin |d 1963- |e Verfasser |0 (DE-588)136692702 |4 aut | |
| 245 | 1 | 0 | |a Generalized Galois logics |b relational semantics of nonclassical logical calculi |c Katalin Bimbó and J. Michael Dunn |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ. |c 2008 | |
| 300 | |a X, 382 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a CSLI lecture notes |v 188 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 0 | |a Nonclassical mathematical logic | |
| 650 | 0 | |a Galois theory | |
| 650 | 0 | |a Semantics / Mathematical models | |
| 650 | 0 | |a Modality (Logic) | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Galois theory | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Nonclassical mathematical logic | |
| 650 | 4 | |a Semantics |x Mathematical models | |
| 700 | 1 | |a Dunn, J. Michael |d 1941-2021 |e Verfasser |0 (DE-588)124999123 |4 aut | |
| 830 | 0 | |a CSLI lecture notes |v 188 |w (DE-604)BV001900711 |9 188 | |
| 856 | 4 | |m DE-601 |q pdf/application |u http://www.gbv.de/dms/bowker/toc/9781575865737.pdf |3 Inhaltsverzeichnis | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017121300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017121300 | |
Datensatz im Suchindex
| DE-19_call_number | 0100/CC 2600 B611 |
|---|---|
| DE-19_location | 10 |
| DE-BY-UBM_katkey | 4034640 |
| DE-BY-UBM_media_number | 41612552670016 |
| _version_ | 1823054211293642752 |
| adam_text | IMAGE 1
PREFACE
P. VIII
INTRODUCTION
P. 1
BOOLEAN GAGGLES
P. 7
NORMAL MODAL LOGICS: K, T, B, S4 AND S5
P. 7
KRIPKE-STYLE SEMANTICS OF THE K* LOGICS
P. 17
BOOLEAN GAGGLES: BGS
P. 28
SEMANTICS FOR BGS
P. 38
PROBLEMS
P. 48
GAGGLES: DISTRIBUTIVE LATTICES WITH FAMILIES OF OPERATIONS
P. 51
POSITIVE RELEVANCE LOGICS: B[SUBSCRIPT + SUPERSCRIPT OT], L[SUBSCRIPT +
SUPERSCRIPT OT] AND R[SUBSCRIPT + SUPERSCRIPT OT]
P. 51
ROUTLEY-MEYER-STYLE SEMANTICS OF THE B* LOGICS
P. 59
GAGGLES AND THEIR SEMANTICS
P. 71
BOUNDED GAGGLES
P. 84
PROBLEMS
P. 87
NONDISTRIBUTIVE GAGGLES
P. 90
PUNCTUAL LOGICS: P, BCI, LL AND BCK
P. 90
SEMANTICS OF P* LOGICS
P. 100
NONDISTRIBUTIVE GAGGLES: NGGLS
P. 116
PROBLEMS
P. 124
SEMI-LATTICE GAGGLES
P. 126
LOGICS WITH CONJUNCTION: [CHARACTERS NOT REPRODUCIBLE] AND [CHARACTERS
NOT REPRODUCIBLE]
P. 126
LOGICS WITH DISJUNCTION: AC* AND [CHARACTERS NOT REPRODUCIBLE] P. 133
SEMI-LATTICE GAGGLES: SGGLS
P. 139
PROBLEMS
P. 149
PARTIAL GAGGLES
P. 152
LAMBEK CALCULI: LQ AND LA
P. 152
THREE RELEVANCE LOGICS: [CHARACTERS NOT REPRODUCIBLE], [CHARACTERS NOT
REPRODUCIBLE] AND [CHARACTERS NOT REPRODUCIBLE]
P. 159
PARTIAL GAGGLES: PGGLS
P. 165
PROBLEMS
P. 172
CONSTANTS
P. 175
EXTENSIONAL CONSTANTS: T AND F
P. 176
INTENSIONAL CONSTANTS: T AND F
P. 181
COMBINATORY CONSTANTS
P. 184
MODELS OF STRUCTURALLY FREE LOGICS
P. 188
PROBLEMS
P. 195
INDUCTIVELY DEFINED OPERATIONS
P. 198
KLEENE LOGIC AND ACTION LOGIC WITH CONVERSE
P. 199
ACTION LOGIC WITH CONJUNCTION
P. 208
DISTRIBUTIVE ACTION LOGIC
P. 212
IMAGE 2
RELATION ALGEBRAS WITH STAR
P. 215
PROBLEMS
P. 218
CANONICITY
P. 220
MODAL LOGICS, BAOS AND BGS
P. 220
CANONICITY GENERALIZED
P. 228
DISTRIBUTIVE AND OTHER GAGGLES
P. 235
PROBLEMS
P. 239
DUALITY
P. 242
TOPOLOGIES AND CATEGORIES
P. 244
BOOLEAN ALGEBRAS AND BGS
P. 252
DISTRIBUTIVE LATTICES AND GAGGLES
P. 262
LATTICES AND NGGLS
P. 270
POSETS AND PGGLS
P. 283
PROBLEMS
P. 286
HETEROGENEOUS TOPICS
P. 289
MODAL GAGGLES
P. 289
GAGGLE SEMANTICS FOR INTUITIONISTIC LOGIC
P. 291
POSSIBILITY AND NECESSITY LINKED WITHOUT NEGATION
P. 295
OPERATIONAL SEMANTICS FOR BCI
P. 298
BOOLEAN ALGEBRAS WITH NONNORMAL FUSION [CHARACTERS NOT REPRODUCIBLE] P.
301
BOOLEAN ALGEBRAS WITH NORMAL MONOTONE [MIDDLE DOT]
P. 303
GALOIS LOGICS
P. 305
PROBLEMS
P. 312
APPENDIX
P. 314
ORDERED SETS
P. 315
TYPES OF ORDER RELATIONS
P. 315
BOUNDS AND EXTREMAL ELEMENTS
P. 318
CONES, COCONES AND CLOSURE OPERATIONS
P. 320
SEPARATION IN POSETS
P. 326
ZORN S LEMMA
P. 327
SEMI-LATTICES AND LATTICES
P. 328
ALGEBRAS
P. 328
MEET AND JOIN SEMI-LATTICES
P. 335
LATTICES
P. 337
FILTERS AND IDEALS
P. 340
REPRESENTATIONS OF (SEMI-)LATTICES
P. 343
SEPARATION IN (SEMI-)LATTICES
P. 347
DISTRIBUTIVE LATTICES AND BOOLEAN ALGEBRAS
P. 350
DISTRIBUTIVE LATTICES
P. 350
DE MORGAN LATTICES AND ORTHOLATTICES
P. 352
BOOLEAN ALGEBRAS
P. 354
IMAGE 3
REPRESENTATIONS
P. 357
SEPARATION IN DISTRIBUTIVE LATTICES
P. 359
BIBLIOGRAPHY
P. 362
INDEX
P. 371
TABLE OF SYMBOLS
P. 380
TABLE OF CONTENTS PROVIDED BY BLACKWELL S BOOK SERVICES AND R.R. BOWKER.
USED WITH PERMISSION.
|
| any_adam_object | 1 |
| author | Bimbó, Katalin 1963- Dunn, J. Michael 1941-2021 |
| author_GND | (DE-588)136692702 (DE-588)124999123 |
| author_facet | Bimbó, Katalin 1963- Dunn, J. Michael 1941-2021 |
| author_role | aut aut |
| author_sort | Bimbó, Katalin 1963- |
| author_variant | k b kb j m d jm jmd |
| building | Verbundindex |
| bvnumber | BV035316653 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.4 |
| callnumber-search | QA9.4 |
| callnumber-sort | QA 19.4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)637316652 (DE-599)GBV572340079 |
| dewey-full | 512/.32 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.32 |
| dewey-search | 512/.32 |
| dewey-sort | 3512 232 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02034nam a2200517 cb4500</leader><controlfield tag="001">BV035316653</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090218 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090217s2008 xx a||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008031552</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575865742</subfield><subfield code="c">pbk.</subfield><subfield code="9">1-575-86574-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781575865744</subfield><subfield code="c">pbk.</subfield><subfield code="9">978-1-575-86574-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575865734</subfield><subfield code="c">cloth</subfield><subfield code="9">1-575-86573-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781575865737</subfield><subfield code="c">cloth</subfield><subfield code="9">978-1-575-86573-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)637316652</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV572340079</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-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.32</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bimbó, Katalin</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136692702</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generalized Galois logics</subfield><subfield code="b">relational semantics of nonclassical logical calculi</subfield><subfield code="c">Katalin Bimbó and J. Michael Dunn</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ.</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 382 S.</subfield><subfield code="b">Ill.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">CSLI lecture notes</subfield><subfield code="v">188</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonclassical mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Galois theory</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Semantics / Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Galois theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonclassical mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dunn, J. Michael</subfield><subfield code="d">1941-2021</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124999123</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">CSLI lecture notes</subfield><subfield code="v">188</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">188</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-601</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bowker/toc/9781575865737.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=017121300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017121300</subfield></datafield></record></collection> |
| id | DE-604.BV035316653 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T17:14:18Z |
| institution | BVB |
| isbn | 1575865742 9781575865744 1575865734 9781575865737 |
| language | English |
| lccn | 2008031552 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017121300 |
| oclc_num | 637316652 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | X, 382 S. Ill. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | CSLI Publ. |
| record_format | marc |
| series | CSLI lecture notes |
| series2 | CSLI lecture notes |
| spellingShingle | Bimbó, Katalin 1963- Dunn, J. Michael 1941-2021 Generalized Galois logics relational semantics of nonclassical logical calculi CSLI lecture notes Nonclassical mathematical logic Galois theory Semantics / Mathematical models Modality (Logic) Mathematisches Modell Semantics Mathematical models |
| title | Generalized Galois logics relational semantics of nonclassical logical calculi |
| title_auth | Generalized Galois logics relational semantics of nonclassical logical calculi |
| title_exact_search | Generalized Galois logics relational semantics of nonclassical logical calculi |
| title_full | Generalized Galois logics relational semantics of nonclassical logical calculi Katalin Bimbó and J. Michael Dunn |
| title_fullStr | Generalized Galois logics relational semantics of nonclassical logical calculi Katalin Bimbó and J. Michael Dunn |
| title_full_unstemmed | Generalized Galois logics relational semantics of nonclassical logical calculi Katalin Bimbó and J. Michael Dunn |
| title_short | Generalized Galois logics |
| title_sort | generalized galois logics relational semantics of nonclassical logical calculi |
| title_sub | relational semantics of nonclassical logical calculi |
| topic | Nonclassical mathematical logic Galois theory Semantics / Mathematical models Modality (Logic) Mathematisches Modell Semantics Mathematical models |
| topic_facet | Nonclassical mathematical logic Galois theory Semantics / Mathematical models Modality (Logic) Mathematisches Modell Semantics Mathematical models |
| url | http://www.gbv.de/dms/bowker/toc/9781575865737.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017121300&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT bimbokatalin generalizedgaloislogicsrelationalsemanticsofnonclassicallogicalcalculi AT dunnjmichael generalizedgaloislogicsrelationalsemanticsofnonclassicallogicalcalculi |