Handbook of quantum logic and quantum structures: quantum logic
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam
Elsevier, North Holland
2009
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 715 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035114444 | ||
| 003 | DE-604 | ||
| 005 | 20090408 | ||
| 007 | t | ||
| 008 | 081022s2009 d||| |||| 00||| eng d | ||
| 015 | |a GBA8A0563 |2 dnb | ||
| 020 | |z 9780444528698 |9 978-0-444-52869-8 | ||
| 035 | |a (OCoLC)317878330 | ||
| 035 | |a (DE-599)BVBBV035114444 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 050 | 0 | |a QC174.17.M35 | |
| 082 | 0 | |a 530.12015113 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Handbook of quantum logic and quantum structures |b quantum logic |c ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Amsterdam |b Elsevier, North Holland |c 2009 | |
| 300 | |a X, 715 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Quantum logic | |
| 650 | 4 | |a Quantum logic |v Handbooks, manuals, etc | |
| 650 | 0 | 7 | |a Quantenlogik |0 (DE-588)4176599-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Quantenlogik |0 (DE-588)4176599-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Engesser, Kurt |e Sonstige |4 oth | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
| 700 | 1 | |a Lehmann, Daniel |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016782216&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016782216 | ||
Record in the Search Index
| _version_ | 1804138088770830336 |
|---|---|
| adam_text | CONTENTS
Foreword
vii
Anatolij Dvurečenskij
Editorial Preface
ix
Kurt Engesser,
Dov
Gabbay and Daniel Lehmann
The Birkhoff-von Neumann Concept of
Quantum Logic 1
Miklos
Rédei
Is
Quantum Logic
a
Logic? 23
Mladen Pavičić
and Norman
D. Megill
Is Logic Empirical?
49
Guido Bacciagaluppi
Quantum Axiomatics
79
Diederik Aerts
Quantum Logic and Nonclassical Logics
127
Gianpiero Cattaneo, Maria
Luisa
Dalla Chiara,
Roberto
Giuntini and Francesco
Paoli
Gentzen Methods in Quantum Logic
227
Hirokazu Nishimura
Categorical Quantum Mechanics
261
Samson Abramsky and Bob Coecke
Extending Classical Logic for Reasoning about
325
Quantum Systems
Rohit Chadha, Paulo
Mateus, Amílcar Sernadas
and
Cristina
Sernadas
Solèr s
Theorem
373
Alexander
Prestel
Operational Quantum Logic: A Survey and Analysis
389
David J. Moore and Frank Valckenborgh
vi
Contents
Test
Spaces 443
Alexander
Wilce
Contexts in Quantum, Classical and Partition Logic
551
Karl
Svozil
Nonmonotonicity and Holicity in Quantum Logic
587
Kurt Engesser,
Dov Gabbay
and Daniel
Lehmann
A Quantum Logic of Down Below
625
Peter D.
Bruza,
Dominic Widdows and John H. Woods
A Completeness Theorem of Quantum Set Theory
661
Satoko
Titani
Index
703
|
| adam_txt |
CONTENTS
Foreword
vii
Anatolij Dvurečenskij
Editorial Preface
ix
Kurt Engesser,
Dov
Gabbay and Daniel Lehmann
The Birkhoff-von Neumann Concept of
Quantum Logic 1
Miklos
Rédei
Is
Quantum Logic
a
Logic? 23
Mladen Pavičić
and Norman
D. Megill
Is Logic Empirical?
49
Guido Bacciagaluppi
Quantum Axiomatics
79
Diederik Aerts
Quantum Logic and Nonclassical Logics
127
Gianpiero Cattaneo, Maria
Luisa
Dalla Chiara,
Roberto
Giuntini and Francesco
Paoli
Gentzen Methods in Quantum Logic
227
Hirokazu Nishimura
Categorical Quantum Mechanics
261
Samson Abramsky and Bob Coecke
Extending Classical Logic for Reasoning about
325
Quantum Systems
Rohit Chadha, Paulo
Mateus, Amílcar Sernadas
and
Cristina
Sernadas
Solèr's
Theorem
373
Alexander
Prestel
Operational Quantum Logic: A Survey and Analysis
389
David J. Moore and Frank Valckenborgh
vi
Contents
Test
Spaces 443
Alexander
Wilce
Contexts in Quantum, Classical and Partition Logic
551
Karl
Svozil
Nonmonotonicity and Holicity in Quantum Logic
587
Kurt Engesser,
Dov Gabbay
and Daniel
Lehmann
A Quantum Logic of Down Below
625
Peter D.
Bruza,
Dominic Widdows and John H. Woods
A Completeness Theorem of Quantum Set Theory
661
Satoko
Titani
Index
703 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)124196314 |
| building | Verbundindex |
| bvnumber | BV035114444 |
| callnumber-first | Q - Science |
| callnumber-label | QC174 |
| callnumber-raw | QC174.17.M35 |
| callnumber-search | QC174.17.M35 |
| callnumber-sort | QC 3174.17 M35 |
| callnumber-subject | QC - Physics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)317878330 (DE-599)BVBBV035114444 |
| dewey-full | 530.12015113 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 530 - Physics |
| dewey-raw | 530.12015113 |
| dewey-search | 530.12015113 |
| dewey-sort | 3530.12015113 |
| dewey-tens | 530 - Physics |
| discipline | Physik Mathematik |
| discipline_str_mv | Physik Mathematik |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01607nam a2200421 c 4500</leader><controlfield tag="001">BV035114444</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090408 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081022s2009 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA8A0563</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780444528698</subfield><subfield code="9">978-0-444-52869-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)317878330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035114444</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-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QC174.17.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">530.12015113</subfield><subfield code="2">22</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="245" ind1="1" ind2="0"><subfield code="a">Handbook of quantum logic and quantum structures</subfield><subfield code="b">quantum logic</subfield><subfield code="c">ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier, North Holland</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 715 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="4"><subfield code="a">Quantum logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum logic</subfield><subfield code="v">Handbooks, manuals, etc</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantenlogik</subfield><subfield code="0">(DE-588)4176599-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Quantenlogik</subfield><subfield code="0">(DE-588)4176599-0</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">Engesser, Kurt</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lehmann, Daniel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</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=016782216&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-016782216</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035114444 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:18:59Z |
| indexdate | 2024-07-09T21:22:38Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016782216 |
| oclc_num | 317878330 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | X, 715 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Elsevier, North Holland |
| record_format | marc |
| spelling | Handbook of quantum logic and quantum structures quantum logic ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann 1. ed. Amsterdam Elsevier, North Holland 2009 X, 715 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Quantum logic Quantum logic Handbooks, manuals, etc Quantenlogik (DE-588)4176599-0 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Quantenlogik (DE-588)4176599-0 s DE-604 Engesser, Kurt Sonstige oth Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth Lehmann, Daniel Sonstige oth Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016782216&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of quantum logic and quantum structures quantum logic Quantum logic Quantum logic Handbooks, manuals, etc Quantenlogik (DE-588)4176599-0 gnd |
| subject_GND | (DE-588)4176599-0 (DE-588)4143413-4 |
| title | Handbook of quantum logic and quantum structures quantum logic |
| title_auth | Handbook of quantum logic and quantum structures quantum logic |
| title_exact_search | Handbook of quantum logic and quantum structures quantum logic |
| title_exact_search_txtP | Handbook of quantum logic and quantum structures quantum logic |
| title_full | Handbook of quantum logic and quantum structures quantum logic ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann |
| title_fullStr | Handbook of quantum logic and quantum structures quantum logic ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann |
| title_full_unstemmed | Handbook of quantum logic and quantum structures quantum logic ed. by Kurt Engesser ; Dov M. Gabbay ; Daniel Lehmann |
| title_short | Handbook of quantum logic and quantum structures |
| title_sort | handbook of quantum logic and quantum structures quantum logic |
| title_sub | quantum logic |
| topic | Quantum logic Quantum logic Handbooks, manuals, etc Quantenlogik (DE-588)4176599-0 gnd |
| topic_facet | Quantum logic Quantum logic Handbooks, manuals, etc Quantenlogik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016782216&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT engesserkurt handbookofquantumlogicandquantumstructuresquantumlogic AT gabbaydovm handbookofquantumlogicandquantumstructuresquantumlogic AT lehmanndaniel handbookofquantumlogicandquantumstructuresquantumlogic |