Closure spaces and logic:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1996
|
| Schriftenreihe: | Mathematics and its applications
369 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007385500&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XVI, 230 S. |
| ISBN: | 0792341104 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011029896 | ||
| 003 | DE-604 | ||
| 005 | 19970918 | ||
| 007 | t| | ||
| 008 | 961030s1996 xx |||| 00||| engod | ||
| 020 | |a 0792341104 |9 0-7923-4110-4 | ||
| 035 | |a (OCoLC)35800869 | ||
| 035 | |a (DE-599)BVBBV011029896 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-703 |a DE-739 |a DE-19 |a DE-91G |a DE-11 | ||
| 050 | 0 | |a QA611.3 | |
| 082 | 0 | |a 514.32 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 280 |0 (DE-625)143228: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Martin, Norman M. |e Verfasser |0 (DE-588)127149198 |4 aut | |
| 245 | 1 | 0 | |a Closure spaces and logic |c by Norman M. Martin and Stephen Pollard |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1996 | |
| 300 | |a XVI, 230 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematics and its applications |v 369 | |
| 650 | 7 | |a Geordende ruimten |2 gtt | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 7 | |a Topologische ruimten |2 gtt | |
| 650 | 4 | |a Closure spaces | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Fréchet-Raum |0 (DE-588)4155254-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fréchet-Raum |0 (DE-588)4155254-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Pollard, Stephen |e Verfasser |4 aut | |
| 830 | 0 | |a Mathematics and its applications |v 369 |w (DE-604)BV008163334 |9 369 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007385500&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007385500 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 030f 2001 A 24541 |
|---|---|
| DE-BY-TUM_katkey | 821371 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020362994 |
| _version_ | 1821931055667478528 |
| adam_text | CONTENTS
PREFACE xi
ACKNOWLEDGMENTS xvii
1 LOGIC AND TOPOLOGY 1
1.1 Topologies 2
1.2 Deductive Closure 3
1.3 Some Elementary Theorems 5
1.4 Alternative Closure Space Axioms 12
2 BASIC TOPOLOGICAL PROPERTIES 19
2.1 Denseness and Consistency 19
2.2 Neighborhoods and Accumulation Points 22
2.3 Relative Closure 26
2.4 Interior and Boundary 29
2.5 Separation and Connection 34
2.6 Exercises 37
I
viii CLOSURE SPACES AND LOGIC
3 SOME THEOREMS OF TARSKI 47
3.1 Completeness 47
3.2 Equivalence 49
3.3 Finite Axiomatizability 51
3.4 Independence 53
3.5 Consistency Again 56
4 CONTINUOUS FUNCTIONS 59
4.1 Continuity 59
4.2 Continuous Valuations 63
4.3 Interpretation Functions 74
4.4 Exercises 78
5 HOMEOMORPHISMS 85
5.1 Some Basic Theorems 85
5.2 A Proof of Homeomorphism 92
5.3 Quasi homeomorphisms 97
5.4 Exercises 106
6 CLOSED BASES AND CLOSURE
SEMANTICS I 109
6.1 Basis Sets and Models 109
6.2 Truth Sets and Closed Complements 113
6.3 Chains and Expressive Closure Spaces 121
6.4 CB Closure Spaces 126
6.5 Some Closure Spaces 128
6.6 Exercises 141
CONTENTS ix
7 THEORY OF
COMPLETE LATTICES 143
7.1 Distributivity 143
7.2 Complements 149
7.3 Algebraic Closure Spaces 158
7.4 Join Inaccessibility and Compactness 163
7.5 Exercises 167
8 CLOSED BASES AND CLOSURE
SEMANTICS II 171
8.1. Compactness Again 171
8.2. Ideals and Filters 175
8.3. Semantics of Propositional Logic 181
8.4. Classical Propositional Logics 194
8.5. Basis Independence 199
8.6. Exercises 201
9 TRUTH FUNCTIONS 205
9.1. The ABC s of Truth 205
9.2. Negations 214
9.3. Conditionals 218
9.4. Exercises 222
BIBLIOGRAPHY 225
INDEX 227
|
| any_adam_object | 1 |
| author | Martin, Norman M. Pollard, Stephen |
| author_GND | (DE-588)127149198 |
| author_facet | Martin, Norman M. Pollard, Stephen |
| author_role | aut aut |
| author_sort | Martin, Norman M. |
| author_variant | n m m nm nmm s p sp |
| building | Verbundindex |
| bvnumber | BV011029896 |
| callnumber-first | Q - Science |
| callnumber-label | QA611 |
| callnumber-raw | QA611.3 |
| callnumber-search | QA611.3 |
| callnumber-sort | QA 3611.3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SK 280 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)35800869 (DE-599)BVBBV011029896 |
| dewey-full | 514.32 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 514 - Topology |
| dewey-raw | 514.32 |
| dewey-search | 514.32 |
| dewey-sort | 3514.32 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01699nam a2200457 cb4500</leader><controlfield tag="001">BV011029896</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970918 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961030s1996 xx |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792341104</subfield><subfield code="9">0-7923-4110-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35800869</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011029896</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA611.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">514.32</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 280</subfield><subfield code="0">(DE-625)143228:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Martin, Norman M.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)127149198</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Closure spaces and logic</subfield><subfield code="c">by Norman M. Martin and Stephen Pollard</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 230 S.</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">Mathematics and its applications</subfield><subfield code="v">369</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Geordende ruimten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Topologische ruimten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Closure spaces</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fréchet-Raum</subfield><subfield code="0">(DE-588)4155254-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fréchet-Raum</subfield><subfield code="0">(DE-588)4155254-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pollard, Stephen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics and its applications</subfield><subfield code="v">369</subfield><subfield code="w">(DE-604)BV008163334</subfield><subfield code="9">369</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=007385500&sequence=000002&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-007385500</subfield></datafield></record></collection> |
| id | DE-604.BV011029896 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:05:07Z |
| institution | BVB |
| isbn | 0792341104 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007385500 |
| oclc_num | 35800869 |
| open_access_boolean | |
| owner | DE-12 DE-703 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-12 DE-703 DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-11 |
| physical | XVI, 230 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Kluwer |
| record_format | marc |
| series | Mathematics and its applications |
| series2 | Mathematics and its applications |
| spellingShingle | Martin, Norman M. Pollard, Stephen Closure spaces and logic Mathematics and its applications Geordende ruimten gtt Modeltheorie gtt Topologische ruimten gtt Closure spaces Logic, Symbolic and mathematical Fréchet-Raum (DE-588)4155254-4 gnd |
| subject_GND | (DE-588)4155254-4 |
| title | Closure spaces and logic |
| title_auth | Closure spaces and logic |
| title_exact_search | Closure spaces and logic |
| title_full | Closure spaces and logic by Norman M. Martin and Stephen Pollard |
| title_fullStr | Closure spaces and logic by Norman M. Martin and Stephen Pollard |
| title_full_unstemmed | Closure spaces and logic by Norman M. Martin and Stephen Pollard |
| title_short | Closure spaces and logic |
| title_sort | closure spaces and logic |
| topic | Geordende ruimten gtt Modeltheorie gtt Topologische ruimten gtt Closure spaces Logic, Symbolic and mathematical Fréchet-Raum (DE-588)4155254-4 gnd |
| topic_facet | Geordende ruimten Modeltheorie Topologische ruimten Closure spaces Logic, Symbolic and mathematical Fréchet-Raum |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007385500&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008163334 |
| work_keys_str_mv | AT martinnormanm closurespacesandlogic AT pollardstephen closurespacesandlogic |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 030f 2001 A 24541
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |