Algebraizable logics:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, RI
American Math. Soc.
1989
|
| Schriftenreihe: | Memoirs of the American Mathematical Society / American Mathematical Society
396 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Volume 77, Number 396 (third of 4 numbers) |
| Beschreibung: | V, 78 S. |
| ISBN: | 0821824597 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001326792 | ||
| 003 | DE-604 | ||
| 005 | 20150812 | ||
| 007 | t | ||
| 008 | 890616s1989 |||| 00||| eng d | ||
| 020 | |a 0821824597 |9 0-8218-2459-7 | ||
| 035 | |a (OCoLC)18463954 | ||
| 035 | |a (DE-599)BVBBV001326792 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-384 |a DE-739 |a DE-355 |a DE-824 |a DE-29T |a DE-19 |a DE-91G |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 510 |2 19 | |
| 082 | 0 | |a 511.3/24 |2 19 | |
| 100 | 1 | |a Blok, Willem Johannes |d 1947-2003 |e Verfasser |0 (DE-588)137684843 |4 aut | |
| 245 | 1 | 0 | |a Algebraizable logics |c W. J. Blok and Don Pigozzi |
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1989 | |
| 300 | |a V, 78 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society / American Mathematical Society |v 396 | |
| 500 | |a Volume 77, Number 396 (third of 4 numbers) | ||
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 7 | |a Logica Matematica |2 larpcal | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 0 | 7 | |a Algebraisierbare Logik |0 (DE-588)4210073-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraisierbare Logik |0 (DE-588)4210073-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Pigozzi, Don |e Verfasser |4 aut | |
| 810 | 2 | |a American Mathematical Society |t Memoirs of the American Mathematical Society |v 396 |w (DE-604)BV008000141 |9 396 | |
| 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=000801930&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000801930 | ||
Datensatz im Suchindex
| _version_ | 1804115734252486656 |
|---|---|
| adam_text | Contents
Introduction 1
1 Deductive Systems and Matrix Semantics 5
1.1 The Lattice of Theories 6
1.2 Matrix Semantics 8
1.3 Deductive Systems as Elementary Theories 9
1.4 The Elementary Leibniz Equivalence Relation 10
1.4.1 Protoalgebraic Logics 12
2 Equational Consequence and
Algebraic Semantics 13
2.1 Algebraic Semantics 14
2.2 Equivalent Algebraic Semantics 19
2.2.1 Uniqueness 22
2.2.2 Axiomatization 24
3 The Lattice of Theories 27
4 Two Intrinsic Characterizations 34
4.1 The Leibniz Operator 34
4.2 A Second Intrinsic Characterization 39
5 Matrix Semantics and Algebraizability 42
5.1 Matrix Semantics and Algebraic Semantics 42
5.2 Applications and Examples 46
5.2.1 Modal Logics 46
5.2.2 Entailment and Relevance Logics 48
5.2.3 Pure Implicational Logics 49
5.2.4 Two Logics with the Same Algebraization 54
5.2.5 Intuitionistic Propositional Logic without Implication . 56
5.2.6 Equivalential Logic 56
A Elementary Definitional Equivalence
i 63
B An Example
67
C Predicate Logic
73
Bibliography
77
Index
v
|
| any_adam_object | 1 |
| author | Blok, Willem Johannes 1947-2003 Pigozzi, Don |
| author_GND | (DE-588)137684843 |
| author_facet | Blok, Willem Johannes 1947-2003 Pigozzi, Don |
| author_role | aut aut |
| author_sort | Blok, Willem Johannes 1947-2003 |
| author_variant | w j b wj wjb d p dp |
| building | Verbundindex |
| bvnumber | BV001326792 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)18463954 (DE-599)BVBBV001326792 |
| dewey-full | 510 511.3/24 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 511 - General principles of mathematics |
| dewey-raw | 510 511.3/24 |
| dewey-search | 510 511.3/24 |
| dewey-sort | 3510 |
| 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>01870nam a2200457 cb4500</leader><controlfield tag="001">BV001326792</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150812 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890616s1989 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821824597</subfield><subfield code="9">0-8218-2459-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18463954</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001326792</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/24</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blok, Willem Johannes</subfield><subfield code="d">1947-2003</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137684843</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraizable logics</subfield><subfield code="c">W. J. Blok and Don Pigozzi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 78 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">Memoirs of the American Mathematical Society / American Mathematical Society</subfield><subfield code="v">396</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Volume 77, Number 396 (third of 4 numbers)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica Matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraisierbare Logik</subfield><subfield code="0">(DE-588)4210073-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraisierbare Logik</subfield><subfield code="0">(DE-588)4210073-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pigozzi, Don</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">American Mathematical Society</subfield><subfield code="t">Memoirs of the American Mathematical Society</subfield><subfield code="v">396</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">396</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=000801930&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000801930</subfield></datafield></record></collection> |
| id | DE-604.BV001326792 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:27:19Z |
| institution | BVB |
| isbn | 0821824597 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000801930 |
| oclc_num | 18463954 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-12 DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | V, 78 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | American Math. Soc. |
| record_format | marc |
| series2 | Memoirs of the American Mathematical Society / American Mathematical Society |
| spelling | Blok, Willem Johannes 1947-2003 Verfasser (DE-588)137684843 aut Algebraizable logics W. J. Blok and Don Pigozzi Providence, RI American Math. Soc. 1989 V, 78 S. txt rdacontent n rdamedia nc rdacarrier Memoirs of the American Mathematical Society / American Mathematical Society 396 Volume 77, Number 396 (third of 4 numbers) Algebraïsche logica gtt Logica Matematica larpcal Algebraic logic Algebraisierbare Logik (DE-588)4210073-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algebraisierbare Logik (DE-588)4210073-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s Pigozzi, Don Verfasser aut American Mathematical Society Memoirs of the American Mathematical Society 396 (DE-604)BV008000141 396 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000801930&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Blok, Willem Johannes 1947-2003 Pigozzi, Don Algebraizable logics Algebraïsche logica gtt Logica Matematica larpcal Algebraic logic Algebraisierbare Logik (DE-588)4210073-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4210073-2 (DE-588)4037951-6 |
| title | Algebraizable logics |
| title_auth | Algebraizable logics |
| title_exact_search | Algebraizable logics |
| title_full | Algebraizable logics W. J. Blok and Don Pigozzi |
| title_fullStr | Algebraizable logics W. J. Blok and Don Pigozzi |
| title_full_unstemmed | Algebraizable logics W. J. Blok and Don Pigozzi |
| title_short | Algebraizable logics |
| title_sort | algebraizable logics |
| topic | Algebraïsche logica gtt Logica Matematica larpcal Algebraic logic Algebraisierbare Logik (DE-588)4210073-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Algebraïsche logica Logica Matematica Algebraic logic Algebraisierbare Logik Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000801930&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT blokwillemjohannes algebraizablelogics AT pigozzidon algebraizablelogics |