Current Research in Operational Quantum Logic: Algebras, Categories, Languages
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Dordrecht
Springer Netherlands
2000
|
Schriftenreihe: | Fundamental Theories of Physics
111 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic |
Beschreibung: | 1 Online-Ressource (VII, 325 p) |
ISBN: | 9789401712019 9789048154371 |
DOI: | 10.1007/978-94-017-1201-9 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042416276 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150316s2000 |||| o||u| ||||||eng d | ||
020 | |a 9789401712019 |c Online |9 978-94-017-1201-9 | ||
020 | |a 9789048154371 |c Print |9 978-90-481-5437-1 | ||
024 | 7 | |a 10.1007/978-94-017-1201-9 |2 doi | |
035 | |a (OCoLC)864080905 | ||
035 | |a (DE-599)BVBBV042416276 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-83 | ||
082 | 0 | |a 530.12 |2 23 | |
084 | |a PHY 000 |2 stub | ||
100 | 1 | |a Coecke, Bob |e Verfasser |4 aut | |
245 | 1 | 0 | |a Current Research in Operational Quantum Logic |b Algebras, Categories, Languages |c edited by Bob Coecke, David Moore, Alexander Wilce |
264 | 1 | |a Dordrecht |b Springer Netherlands |c 2000 | |
300 | |a 1 Online-Ressource (VII, 325 p) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Fundamental Theories of Physics |v 111 | |
500 | |a The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic | ||
650 | 4 | |a Physics | |
650 | 4 | |a Algebra | |
650 | 4 | |a Group theory | |
650 | 4 | |a Mathematics | |
650 | 4 | |a Quantum theory | |
650 | 4 | |a Quantum Physics | |
650 | 4 | |a Applications of Mathematics | |
650 | 4 | |a Order, Lattices, Ordered Algebraic Structures | |
650 | 4 | |a Category Theory, Homological Algebra | |
650 | 4 | |a Group Theory and Generalizations | |
650 | 4 | |a Mathematik | |
650 | 4 | |a Quantentheorie | |
650 | 0 | 7 | |a Quantenlogik |0 (DE-588)4176599-0 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Quantenlogik |0 (DE-588)4176599-0 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
700 | 1 | |a Moore, David |e Sonstige |4 oth | |
700 | 1 | |a Wilce, Alexander |e Sonstige |4 oth | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-1201-9 |x Verlag |3 Volltext |
912 | |a ZDB-2-PHA |a ZDB-2-BAE | ||
940 | 1 | |q ZDB-2-PHA_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027851769 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804153084530655232 |
---|---|
any_adam_object | |
author | Coecke, Bob |
author_facet | Coecke, Bob |
author_role | aut |
author_sort | Coecke, Bob |
author_variant | b c bc |
building | Verbundindex |
bvnumber | BV042416276 |
classification_tum | PHY 000 |
collection | ZDB-2-PHA ZDB-2-BAE |
ctrlnum | (OCoLC)864080905 (DE-599)BVBBV042416276 |
dewey-full | 530.12 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 530 - Physics |
dewey-raw | 530.12 |
dewey-search | 530.12 |
dewey-sort | 3530.12 |
dewey-tens | 530 - Physics |
discipline | Physik |
doi_str_mv | 10.1007/978-94-017-1201-9 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03653nmm a2200601zcb4500</leader><controlfield tag="001">BV042416276</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150316s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401712019</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-1201-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048154371</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5437-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-1201-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864080905</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042416276</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">530.12</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHY 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Coecke, Bob</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Current Research in Operational Quantum Logic</subfield><subfield code="b">Algebras, Categories, Languages</subfield><subfield code="c">edited by Bob Coecke, David Moore, Alexander Wilce</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 325 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Fundamental Theories of Physics</subfield><subfield code="v">111</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantum Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Applications of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Order, Lattices, Ordered Algebraic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group Theory and Generalizations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantentheorie</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="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moore, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wilce, Alexander</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-1201-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-PHA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-PHA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027851769</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV042416276 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:20:59Z |
institution | BVB |
isbn | 9789401712019 9789048154371 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027851769 |
oclc_num | 864080905 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-83 |
owner_facet | DE-91 DE-BY-TUM DE-83 |
physical | 1 Online-Ressource (VII, 325 p) |
psigel | ZDB-2-PHA ZDB-2-BAE ZDB-2-PHA_Archive |
publishDate | 2000 |
publishDateSearch | 2000 |
publishDateSort | 2000 |
publisher | Springer Netherlands |
record_format | marc |
series2 | Fundamental Theories of Physics |
spelling | Coecke, Bob Verfasser aut Current Research in Operational Quantum Logic Algebras, Categories, Languages edited by Bob Coecke, David Moore, Alexander Wilce Dordrecht Springer Netherlands 2000 1 Online-Ressource (VII, 325 p) txt rdacontent c rdamedia cr rdacarrier Fundamental Theories of Physics 111 The present volume has its origins in a pair of informal workshops held at the Free University of Brussels, in June of 1998 and May of 1999, named "Current Research 1 in Operational Quantum Logic". These brought together mathematicians and physicists working in operational quantum logic and related areas, as well as a number of interested philosophers of science, for a rare opportunity to discuss recent developments in this field. After some discussion, it was decided that, rather than producing a volume of conference proceedings, we would try to organize the conferees to produce a set of comprehensive survey papers, which would not only report on recent developments in quantum logic, but also provide a tutorial overview of the subject suitable for an interested non-specialist audience. The resulting volume provides an overview of the concepts and methods used in current research in quantum logic, viewed both as a branch of mathemati cal physics and as an area of pure mathematics. The first half of the book is concerned with the algebraic side of the subject, and in particular the theory of orthomodular lattices and posets, effect algebras, etc. In the second half of the book, special attention is given to categorical methods and to connections with theoretical computer science. At the 1999 workshop, we were fortunate to hear three excellent lectures by David J. Foulis, represented here by two contributions. Dave's work, spanning 40 years, has helped to define, and continues to reshape, the field of quantum logic Physics Algebra Group theory Mathematics Quantum theory Quantum Physics Applications of Mathematics Order, Lattices, Ordered Algebraic Structures Category Theory, Homological Algebra Group Theory and Generalizations Mathematik Quantentheorie Quantenlogik (DE-588)4176599-0 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Quantenlogik (DE-588)4176599-0 s 2\p DE-604 Moore, David Sonstige oth Wilce, Alexander Sonstige oth https://doi.org/10.1007/978-94-017-1201-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Coecke, Bob Current Research in Operational Quantum Logic Algebras, Categories, Languages Physics Algebra Group theory Mathematics Quantum theory Quantum Physics Applications of Mathematics Order, Lattices, Ordered Algebraic Structures Category Theory, Homological Algebra Group Theory and Generalizations Mathematik Quantentheorie Quantenlogik (DE-588)4176599-0 gnd |
subject_GND | (DE-588)4176599-0 (DE-588)4143413-4 |
title | Current Research in Operational Quantum Logic Algebras, Categories, Languages |
title_auth | Current Research in Operational Quantum Logic Algebras, Categories, Languages |
title_exact_search | Current Research in Operational Quantum Logic Algebras, Categories, Languages |
title_full | Current Research in Operational Quantum Logic Algebras, Categories, Languages edited by Bob Coecke, David Moore, Alexander Wilce |
title_fullStr | Current Research in Operational Quantum Logic Algebras, Categories, Languages edited by Bob Coecke, David Moore, Alexander Wilce |
title_full_unstemmed | Current Research in Operational Quantum Logic Algebras, Categories, Languages edited by Bob Coecke, David Moore, Alexander Wilce |
title_short | Current Research in Operational Quantum Logic |
title_sort | current research in operational quantum logic algebras categories languages |
title_sub | Algebras, Categories, Languages |
topic | Physics Algebra Group theory Mathematics Quantum theory Quantum Physics Applications of Mathematics Order, Lattices, Ordered Algebraic Structures Category Theory, Homological Algebra Group Theory and Generalizations Mathematik Quantentheorie Quantenlogik (DE-588)4176599-0 gnd |
topic_facet | Physics Algebra Group theory Mathematics Quantum theory Quantum Physics Applications of Mathematics Order, Lattices, Ordered Algebraic Structures Category Theory, Homological Algebra Group Theory and Generalizations Mathematik Quantentheorie Quantenlogik Aufsatzsammlung |
url | https://doi.org/10.1007/978-94-017-1201-9 |
work_keys_str_mv | AT coeckebob currentresearchinoperationalquantumlogicalgebrascategorieslanguages AT mooredavid currentresearchinoperationalquantumlogicalgebrascategorieslanguages AT wilcealexander currentresearchinoperationalquantumlogicalgebrascategorieslanguages |