Substructural logics:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford u.a.
Clarendon Press
1993
|
| Schriftenreihe: | Studies in logic and computation
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 386 S. graph. Darst. |
| ISBN: | 0198537778 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009665982 | ||
| 003 | DE-604 | ||
| 005 | 19940623 | ||
| 007 | t | ||
| 008 | 940622s1993 d||| |||| 10||| eng d | ||
| 020 | |a 0198537778 |9 0-19-853777-8 | ||
| 035 | |a (OCoLC)28926116 | ||
| 035 | |a (DE-599)BVBBV009665982 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-19 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03B20 |2 msc | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Substructural logics |c ed. by Peter Schroeder-Heister ... |
| 264 | 1 | |a Oxford u.a. |b Clarendon Press |c 1993 | |
| 300 | |a X, 386 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 computation |v 2 | |
| 650 | 4 | |a Computers - Mathematical logic | |
| 650 | 4 | |a Informatique | |
| 650 | 7 | |a Informatique |2 ram | |
| 650 | 7 | |a Intuïtionisme |2 gtt | |
| 650 | 7 | |a Lambek-calculus |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique linéaire |2 inriac | |
| 650 | 7 | |a logique sous-structurelle |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Schroeder-Heister, Peter |d 1953- |e Sonstige |0 (DE-588)112409156 |4 oth | |
| 830 | 0 | |a Studies in logic and computation |v 2 |w (DE-604)BV006667452 |9 2 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006391998&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006391998 | ||
Datensatz im Suchindex
| _version_ | 1804124010336747520 |
|---|---|
| adam_text | Contents
A Historical Introduction to
Substructural
Logics
K.
Došen
1
Life in the Undistributed Middle
N.
Belnap
31
Theorems in Classical Logic are Instances of Theorems in Condensed
ВСІ
Logic
M. W.
Bunder
43
Partial Gaggles Applied to Logics with Restricted Structural Rules
J. M. Dunn
63
A General Theory of Structured Consequence Relations
D. M. Gabbay
109
Decidability and Interpolation for a First-Order Relevance Logic
A. Kron
153
Logic without Structural Rules (Another Look at Cut Elimination)
J. Lambek
179
From
Categorial
Grammar to Bilinear Logic
J. Lambek
207
The Semantics of Entailment
0
R. K. Meyer and E. D. Mares
239
Semantics for
Substructural
Logics
H. Ono
259
The Semantics of Pretopologies
G. Sambin
293
IX
χ
Contents
Lambda-Terms with Functional Symbols and Decidability in
Certain Closed Categories
S.V.
Soloviev
309
Tutorial on Linear Logic
A.S. Troelstia
327
The Landscape of Deduction
J. van Benthem
357
Index
377
|
| any_adam_object | 1 |
| author_GND | (DE-588)112409156 |
| building | Verbundindex |
| bvnumber | BV009665982 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 |
| callnumber-search | QA76 |
| callnumber-sort | QA 276 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1990 SK 130 |
| classification_tum | MAT 030f DAT 540f |
| ctrlnum | (OCoLC)28926116 (DE-599)BVBBV009665982 |
| 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 | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02104nam a2200577 cb4500</leader><controlfield tag="001">BV009665982</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940623 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940622s1993 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198537778</subfield><subfield code="9">0-19-853777-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28926116</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009665982</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</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">03B20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Substructural logics</subfield><subfield code="c">ed. by Peter Schroeder-Heister ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford u.a.</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 386 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 computation</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers - Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuïtionisme</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambek-calculus</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">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique linéaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique sous-structurelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schroeder-Heister, Peter</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112409156</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and computation</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV006667452</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=006391998&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-006391998</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009665982 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:38:52Z |
| institution | BVB |
| isbn | 0198537778 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006391998 |
| oclc_num | 28926116 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-188 |
| physical | X, 386 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Studies in logic and computation |
| series2 | Studies in logic and computation |
| spelling | Substructural logics ed. by Peter Schroeder-Heister ... Oxford u.a. Clarendon Press 1993 X, 386 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic and computation 2 Computers - Mathematical logic Informatique Informatique ram Intuïtionisme gtt Lambek-calculus gtt Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt logique 1er ordre inriac logique linéaire inriac logique sous-structurelle inriac logique inriac sémantique inriac Informatik Computer science Logic, Symbolic and mathematical (DE-588)1071861417 Konferenzschrift gnd-content Schroeder-Heister, Peter 1953- Sonstige (DE-588)112409156 oth Studies in logic and computation 2 (DE-604)BV006667452 2 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006391998&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Substructural logics Studies in logic and computation Computers - Mathematical logic Informatique Informatique ram Intuïtionisme gtt Lambek-calculus gtt Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt logique 1er ordre inriac logique linéaire inriac logique sous-structurelle inriac logique inriac sémantique inriac Informatik Computer science Logic, Symbolic and mathematical |
| subject_GND | (DE-588)1071861417 |
| title | Substructural logics |
| title_auth | Substructural logics |
| title_exact_search | Substructural logics |
| title_full | Substructural logics ed. by Peter Schroeder-Heister ... |
| title_fullStr | Substructural logics ed. by Peter Schroeder-Heister ... |
| title_full_unstemmed | Substructural logics ed. by Peter Schroeder-Heister ... |
| title_short | Substructural logics |
| title_sort | substructural logics |
| topic | Computers - Mathematical logic Informatique Informatique ram Intuïtionisme gtt Lambek-calculus gtt Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt logique 1er ordre inriac logique linéaire inriac logique sous-structurelle inriac logique inriac sémantique inriac Informatik Computer science Logic, Symbolic and mathematical |
| topic_facet | Computers - Mathematical logic Informatique Intuïtionisme Lambek-calculus Logique symbolique et mathématique Symbolische logica logique 1er ordre logique linéaire logique sous-structurelle logique sémantique Informatik Computer science Logic, Symbolic and mathematical Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006391998&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006667452 |
| work_keys_str_mv | AT schroederheisterpeter substructurallogics |