Admissibility of logical inference rules:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier
1997
|
| Series: | Studies in logic and the foundations of mathematics
136 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 617 S. graph. Darst. |
| ISBN: | 0444895051 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011483486 | ||
| 003 | DE-604 | ||
| 005 | 19971029 | ||
| 007 | t | ||
| 008 | 970814s1997 d||| |||| 00||| eng d | ||
| 020 | |a 0444895051 |9 0-444-89505-1 | ||
| 035 | |a (OCoLC)36701972 | ||
| 035 | |a (DE-599)BVBBV011483486 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-739 |a DE-91G |a DE-703 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Rybakov, Vladimir V. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Admissibility of logical inference rules |c Vladimir V. Rybakov |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 1997 | |
| 300 | |a 617 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 136 | |
| 650 | 4 | |a Inférence (Logique) | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Inference | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 1 | |5 DE-188 | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 136 |w (DE-604)BV000893472 |9 136 | |
| 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=007725627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007725627 | ||
Record in the Search Index
| _version_ | 1804126002446598144 |
|---|---|
| adam_text | Contents
0.1 Preface and Acknowledgments 3
0.2 Introduction 8
1 Syntaxes and Semantics 17
1.1 Syntax of Formal Logic Systems 18
1.2 First Order Semantics and Universal Algebra 29
1.3 Algebraic Semantics for Prepositional Logics 48
1.4 Admissible Rules in Algebraic Logics 60
1.5 Logical Consequence Relations 69
1.6 Algebraizable Consequence Relations 75
1.7 Admissibility for Consequence Relations 88
1.8 Lattices of Logical Consequences 97
2 Semantics for Non Standard Logics 103
2.1 Algebraic Semantics for Intuitionistic Logic 104
2.2 Algebraic Semantics, Modal and Tense Logics 124
2.3 Kripke Semantics for Modal and Temporal Logic 146
2.4 Kripke Semantics for Intuitionistic Logic 176
2.5 Stone s Theory and Kripke Semantics 188
2.6 The Finite Model Property 218
2.7 Relation of Intuitionistic and Modal Logics 232
2.8 Advanced Tools for the Finite Model Property 245
2.9 Kripke Incomplete Logics 260
2.10 Advanced Tools for Kripke Completeness 263
3 Criteria for Admissibility 279
3.1 Reduced Forms 280
3.2 T translation of inference rules 291
3.3 Semantic Criteria for Admissibility 295
3.4 Some Technical Lemmas 308
3.5 Criteria for Determining Admissibility 325
3.6 Elementary Theories of Free Algebras 345
3.7 Scheme Logics of First Order Theories 361
1
2 CONTENTS
3.8 Some Counterexamples 375
3.9 Admissibility through Reduced Forms 383
4 Bases for Inference Rules 393
4.1 Initial Auxiliary Results 394
4.2 The Absence of Finite Bases 399
4.3 Bases for Some Strong Logics 422
4.4 Bases for Valid Rules of Tabular Logics 448
4.5 Tabular Logics without Independent Bases 460
5 Structural Completeness 475
5.1 General Properties, Descriptions 476
5.2 Quasi characteristic Inference Rules 484
5.3 Some Preliminary Technical Results 495
5.4 Hereditary Structural Completeness 509
5.5 Structurally Complete Fragments 518
6 Related Questions 525
6.1 Rules with Meta Variables 526
6.2 The Preservation of Admissible for S4 Rules 550
6.3 The Preservation of Admissibility for H 561
6.4 Non Compact Modal Logics . . . 571
6.5 Decidable Kripke Non compact Logics 582
6.6 Non Compact Superintuitionistic Logics 589
Index 595
Bibliography 603
|
| any_adam_object | 1 |
| author | Rybakov, Vladimir V. |
| author_facet | Rybakov, Vladimir V. |
| author_role | aut |
| author_sort | Rybakov, Vladimir V. |
| author_variant | v v r vv vvr |
| building | Verbundindex |
| bvnumber | BV011483486 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9 |
| callnumber-search | BC135 QA9 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)36701972 (DE-599)BVBBV011483486 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| 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>01876nam a2200505 cb4500</leader><controlfield tag="001">BV011483486</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19971029 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970814s1997 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444895051</subfield><subfield code="9">0-444-89505-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36701972</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011483486</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-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</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="100" ind1="1" ind2=" "><subfield code="a">Rybakov, Vladimir V.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Admissibility of logical inference rules</subfield><subfield code="c">Vladimir V. Rybakov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">617 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">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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">136</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inférence (Logique)</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="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inference</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">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="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">136</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">136</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=007725627&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-007725627</subfield></datafield></record></collection> |
| id | DE-604.BV011483486 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:10:32Z |
| institution | BVB |
| isbn | 0444895051 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007725627 |
| oclc_num | 36701972 |
| open_access_boolean | |
| owner | DE-29 DE-739 DE-91G DE-BY-TUM DE-703 DE-11 DE-188 |
| owner_facet | DE-29 DE-739 DE-91G DE-BY-TUM DE-703 DE-11 DE-188 |
| physical | 617 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Rybakov, Vladimir V. Verfasser aut Admissibility of logical inference rules Vladimir V. Rybakov Amsterdam [u.a.] Elsevier 1997 617 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 136 Inférence (Logique) Logica matematica larpcal Logica gtt Logique symbolique et mathématique Modeltheorie gtt Logik Inference Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Logischer Schluss (DE-588)4139983-3 s DE-188 Studies in logic and the foundations of mathematics 136 (DE-604)BV000893472 136 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007725627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rybakov, Vladimir V. Admissibility of logical inference rules Studies in logic and the foundations of mathematics Inférence (Logique) Logica matematica larpcal Logica gtt Logique symbolique et mathématique Modeltheorie gtt Logik Inference Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4139983-3 |
| title | Admissibility of logical inference rules |
| title_auth | Admissibility of logical inference rules |
| title_exact_search | Admissibility of logical inference rules |
| title_full | Admissibility of logical inference rules Vladimir V. Rybakov |
| title_fullStr | Admissibility of logical inference rules Vladimir V. Rybakov |
| title_full_unstemmed | Admissibility of logical inference rules Vladimir V. Rybakov |
| title_short | Admissibility of logical inference rules |
| title_sort | admissibility of logical inference rules |
| topic | Inférence (Logique) Logica matematica larpcal Logica gtt Logique symbolique et mathématique Modeltheorie gtt Logik Inference Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| topic_facet | Inférence (Logique) Logica matematica Logica Logique symbolique et mathématique Modeltheorie Logik Inference Logic, Symbolic and mathematical Mathematische Logik Logischer Schluss |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007725627&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT rybakovvladimirv admissibilityoflogicalinferencerules |