A general algebraic semantics for sentenial logics:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in logic
7 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 135 S. |
| ISBN: | 3540616993 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010914511 | ||
| 003 | DE-604 | ||
| 005 | 19970513 | ||
| 007 | t | ||
| 008 | 960819s1996 gw |||| 00||| ger d | ||
| 016 | 7 | |a 948235586 |2 DE-101 | |
| 020 | |a 3540616993 |c : DM 54.00 |9 3-540-61699-3 | ||
| 035 | |a (OCoLC)35305115 | ||
| 035 | |a (DE-599)BVBBV010914511 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-12 |a DE-384 |a DE-703 |a DE-739 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA10 | |
| 082 | 0 | |a 511.3/24 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Font, Josep Maria |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A general algebraic semantics for sentenial logics |c Josep Maria Font ; Ramon Jansana |
| 246 | 1 | 3 | |a A general algebraic semantics for sentential logics |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a VI, 135 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in logic |v 7 | |
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 4 | |a Logique algébrique | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraisierbare Logik |0 (DE-588)4210073-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | 1 | |a Algebraisierbare Logik |0 (DE-588)4210073-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jansana, Ramon |e Verfasser |4 aut | |
| 830 | 0 | |a Lecture notes in logic |v 7 |w (DE-604)BV008909514 |9 7 | |
| 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=007301835&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007301835 | ||
Datensatz im Suchindex
| _version_ | 1804125407318900736 |
|---|---|
| adam_text | Contents
Introduction 1
1 Generalities on abstract logics and sentential logics 13
2 Abstract logics as models of sentential logics 29
2.1 Models and full models 29
2.2 S algebras 34
2.3 The lattice of full models over an algebra 38
2.4 Full models and metalogical properties 42
3 Applications to protoalgebraic and algebraizable logics 55
4 Abstract logics as models of Gentzen systems 69
4.1 Gentzen systems and their models 70
4.2 Selfextensional logics with Conjunction 80
4.3 Selfextensional logics having the Deduction Theorem 89
5 Applications to particular sentential logics 97
5.1 Some non protoalgebraic logics 99
5.1.1 CPCAV,the {A,V} fragment of Classical Logic 99
5.1.2 The logic of lattices 101
5.1.3 Belnap s four valued logic, and other related logics 102
5.1.4 The implication less fragment of IPC and its extensions .... 104
5.2 Some Fregean algebraizable logics 105
5.2.1 Alternative Gentzen systems adequate for IPC_ not having the
full Deduction Theorem 107
5.3 Some modal logics 108
5.3.1 A logic without a strongly adequate Gentzen system Ill
vi Contents
5.4 Other miscellaneous examples Ill
5.4.1 Two relevance logics 112
5.4.2 Sette s paraconsistent logic 113
5.4.3 Tetravalent modal logic 114
5.4.4 Logics related to cardinality restrictions in the Deduction The¬
orem 115
Bibliography 119
Symbol Index 127
Alphabetical Index 131
|
| any_adam_object | 1 |
| author | Font, Josep Maria Jansana, Ramon |
| author_facet | Font, Josep Maria Jansana, Ramon |
| author_role | aut aut |
| author_sort | Font, Josep Maria |
| author_variant | j m f jm jmf r j rj |
| building | Verbundindex |
| bvnumber | BV010914511 |
| callnumber-first | Q - Science |
| callnumber-label | QA10 |
| callnumber-raw | QA10 |
| callnumber-search | QA10 |
| callnumber-sort | QA 210 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)35305115 (DE-599)BVBBV010914511 |
| dewey-full | 511.3/24 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/24 |
| dewey-search | 511.3/24 |
| dewey-sort | 3511.3 224 |
| 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>01825nam a2200481 cb4500</leader><controlfield tag="001">BV010914511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970513 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960819s1996 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948235586</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540616993</subfield><subfield code="c">: DM 54.00</subfield><subfield code="9">3-540-61699-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35305115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010914511</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/24</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Font, Josep Maria</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A general algebraic semantics for sentenial logics</subfield><subfield code="c">Josep Maria Font ; Ramon Jansana</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">A general algebraic semantics for sentential logics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 135 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">Lecture notes in logic</subfield><subfield code="v">7</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="4"><subfield code="a">Logique algébrique</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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="700" ind1="1" ind2=" "><subfield code="a">Jansana, Ramon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in logic</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">7</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=007301835&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-007301835</subfield></datafield></record></collection> |
| id | DE-604.BV010914511 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:04Z |
| institution | BVB |
| isbn | 3540616993 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007301835 |
| oclc_num | 35305115 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-384 DE-703 DE-739 DE-634 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-384 DE-703 DE-739 DE-634 DE-11 |
| physical | VI, 135 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in logic |
| series2 | Lecture notes in logic |
| spelling | Font, Josep Maria Verfasser aut A general algebraic semantics for sentenial logics Josep Maria Font ; Ramon Jansana A general algebraic semantics for sentential logics Berlin [u.a.] Springer 1996 VI, 135 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in logic 7 Algebraïsche logica gtt Logique algébrique Algebraic logic Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Algebraisierbare Logik (DE-588)4210073-2 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 s Algebraisierbare Logik (DE-588)4210073-2 s DE-604 Jansana, Ramon Verfasser aut Lecture notes in logic 7 (DE-604)BV008909514 7 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007301835&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Font, Josep Maria Jansana, Ramon A general algebraic semantics for sentenial logics Lecture notes in logic Algebraïsche logica gtt Logique algébrique Algebraic logic Aussagenlogik (DE-588)4136098-9 gnd Algebraisierbare Logik (DE-588)4210073-2 gnd |
| subject_GND | (DE-588)4136098-9 (DE-588)4210073-2 |
| title | A general algebraic semantics for sentenial logics |
| title_alt | A general algebraic semantics for sentential logics |
| title_auth | A general algebraic semantics for sentenial logics |
| title_exact_search | A general algebraic semantics for sentenial logics |
| title_full | A general algebraic semantics for sentenial logics Josep Maria Font ; Ramon Jansana |
| title_fullStr | A general algebraic semantics for sentenial logics Josep Maria Font ; Ramon Jansana |
| title_full_unstemmed | A general algebraic semantics for sentenial logics Josep Maria Font ; Ramon Jansana |
| title_short | A general algebraic semantics for sentenial logics |
| title_sort | a general algebraic semantics for sentenial logics |
| topic | Algebraïsche logica gtt Logique algébrique Algebraic logic Aussagenlogik (DE-588)4136098-9 gnd Algebraisierbare Logik (DE-588)4210073-2 gnd |
| topic_facet | Algebraïsche logica Logique algébrique Algebraic logic Aussagenlogik Algebraisierbare Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007301835&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008909514 |
| work_keys_str_mv | AT fontjosepmaria ageneralalgebraicsemanticsforsenteniallogics AT jansanaramon ageneralalgebraicsemanticsforsenteniallogics AT fontjosepmaria ageneralalgebraicsemanticsforsententiallogics AT jansanaramon ageneralalgebraicsemanticsforsententiallogics |