Labelled non-classical logics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Kluwer
2000
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 291 S. graph. Darst. |
| ISBN: | 0792377494 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013123895 | ||
| 003 | DE-604 | ||
| 005 | 20001024 | ||
| 007 | t | ||
| 008 | 000426s2000 d||| |||| 00||| eng d | ||
| 020 | |a 0792377494 |9 0-7923-7749-4 | ||
| 035 | |a (OCoLC)43060628 | ||
| 035 | |a (DE-599)BVBBV013123895 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Viganò, Luca |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Labelled non-classical logics |c by Luca Viganò |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 2000 | |
| 300 | |a XIV, 291 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Labeling |2 gtt | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Nonclassical mathematical logic | |
| 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=008940981&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008940981 | ||
Datensatz im Suchindex
| _version_ | 1804127822771388416 |
|---|---|
| adam_text | LABELLED NON-CLASSICAL LOGICS BY LUCA VIGANO INSTITUTFIIR INFORMATIK,
ALBERT-LUDWIGS-UNIVERSITDT FREIBURG, FREIBURG IM BREISGAU, GERMANY
KLUWER ACADEMIC PUBLISHERS BOSTON / DORDRECHT / LONDON CONTENTS LIST OF
FIGURES VII LIST OF TABLES IX ACKNOWLEDGMENTS XI FOREWORD XIII 1.
INTRODUCTION 1 1.1 BACKGROUND AND MOTIVATION 1 1.2 CONTRIBUTION 3 1.3
MAIN RESULTS 12 1.4 SYNOPSIS 13 PART I LABELLED DEDUCTION FOR
NON-CLASSICAL LOGICS 2. LABELLED NATURAL DEDUCTION SYSTEMS FOR
PROPOSITIONAL MODAL LOGICS 17 2.1 A MODULAR PRESENTATION OF
PROPOSITIONAL MODAL LOGICS 18 2.2 SOUNDNESS AND COMPLETENESS 29 2.3
NORMALIZATION AND ITS CONSEQUENCES 37 3. LABELLED NATURAL DEDUCTION
SYSTEMS FOR PROPOSITIONAL NON-CLASSICAL LOGICS 53 3.1 MODULAR
PRESENTATIONS OF PROPOSITIONAL NON-CLASSICAL LOGICS 54 3.2 SOUNDNESS AND
COMPLETENESS 71 3.3 NORMALIZATION AND ITS CONSEQUENCES 81 4. LABELLED
NATURAL DEDUCTION SYSTEMS FOR QUANTIFIED MODAL LOGICS 91 4.1 A MODULAR
PRESENTATION OF QUANTIFIED MODAL LOGICS 93 4.2 SOUNDNESS AND
COMPLETENESS 100 4.3 NORMALIZATION AND ITS CONSEQUENCES 107 5. ENCODING
LABELLED NON-CLASSICAL LOGICS IN ISABELLE 115 5.1 ENCODING PROPOSITIONAL
MODAL LOGICS 115 VI LABELLED NON-CLASSICAL LOGICS 5.2 ENCODING
PROPOSITIONAL NON-CLASSICAL LOGICS 126 5.3 ENCODING QUANTIFIED MODAL
LOGICS 131 6. LABELLED SEQUENT SYSTEMS FOR NON-CLASSICAL LOGICS 137 6.1
LABELLED SEQUENT SYSTEMS FOR PROPOSITIONAL MODAL LOGICS 138 6.2 LABELLED
SEQUENT SYSTEMS FOR NON-CLASSICAL LOGICS 147 6.3 EQUIVALENCE OF LABELLED
NATURAL DEDUCTION AND SEQUENT SYSTEMS 149 7. DISCUSSION 157 7.1 RELATED
WORK 157 PART II SUBSTRUCTURAL AND COMPLEXITY ANALYSIS OF MODAL SEQUENT
SYSTEMS 8. INTRODUCTION AND PRELIMINARIES 167 8.1 INTRODUCTION 167 8.2
PRELIMINARY RESULTS 170 9. SUBSTRUCTURAL ANALYSIS OF S(K) 187 9.1
ELIMINATING CONTRACTIONS IN S(K) 187 9.2 S(K) AND SS(K) 195 10.
SUBSTRUCTURAL ANALYSIS OF S(T) 201 10.1 BOUNDING CONTRACTIONS IN S(T)
201 10.2 S(T) AND SS(T) 219 11.SUBSTRUCTURAL ANALYSIS OF S(K4) AND S(S4)
223 11.1 INFINITE CHAINS, INFINITE BRANCHES AND PERIODICITY 225 11.2
BOUNDING CONTRACTION IN S(K4) AND S(S4) 230 11.3 S(K4) AND SS(K4) 238
11.4 S(S4) AND SS(S4) 245 12. COMPLEXITY OF PROOF SEARCH IN K, T, K4 AND
S4 247 12.1 SUMMARY OF OUR SUBSTRUCTURAL ANALYSIS 247 12.2 COMPLEXITY OF
PROOF SEARCH IN K 248 12.3 COMPLEXITY OF PROOF SEARCH IN T 250 12.4
COMPLEXITY OF PROOF SEARCH IN K4 AND S4 251 13. DISCUSSION 253 13.1
RELATED WORK 253 14. CONCLUSIONS AND FURTHER RESEARCH 263 REFERENCES 267
INDEX 283
|
| any_adam_object | 1 |
| author | Viganò, Luca |
| author_facet | Viganò, Luca |
| author_role | aut |
| author_sort | Viganò, Luca |
| author_variant | l v lv |
| building | Verbundindex |
| bvnumber | BV013123895 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)43060628 (DE-599)BVBBV013123895 |
| 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>01236nam a2200373 c 4500</leader><controlfield tag="001">BV013123895</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20001024 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000426s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792377494</subfield><subfield code="9">0-7923-7749-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43060628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013123895</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</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">Viganò, Luca</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Labelled non-classical logics</subfield><subfield code="c">by Luca Viganò</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 291 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="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Labeling</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonclassical mathematical logic</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=008940981&sequence=000001&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-008940981</subfield></datafield></record></collection> |
| id | DE-604.BV013123895 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:39:28Z |
| institution | BVB |
| isbn | 0792377494 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008940981 |
| oclc_num | 43060628 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XIV, 291 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Viganò, Luca Verfasser aut Labelled non-classical logics by Luca Viganò Boston [u.a.] Kluwer 2000 XIV, 291 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bewijstheorie gtt Labeling gtt Modale logica gtt Semantiek gtt Semantik Nonclassical mathematical logic GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008940981&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Viganò, Luca Labelled non-classical logics Bewijstheorie gtt Labeling gtt Modale logica gtt Semantiek gtt Semantik Nonclassical mathematical logic |
| title | Labelled non-classical logics |
| title_auth | Labelled non-classical logics |
| title_exact_search | Labelled non-classical logics |
| title_full | Labelled non-classical logics by Luca Viganò |
| title_fullStr | Labelled non-classical logics by Luca Viganò |
| title_full_unstemmed | Labelled non-classical logics by Luca Viganò |
| title_short | Labelled non-classical logics |
| title_sort | labelled non classical logics |
| topic | Bewijstheorie gtt Labeling gtt Modale logica gtt Semantiek gtt Semantik Nonclassical mathematical logic |
| topic_facet | Bewijstheorie Labeling Modale logica Semantiek Semantik Nonclassical mathematical logic |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008940981&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT viganoluca labellednonclassicallogics |