Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick
| Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick |
| Autore | Selesnick S. A (Stephen Allan) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | River Edge, NJ, : World Scientific, c2003 |
| Descrizione fisica | 1 online resource (487 p.) |
| Disciplina | 530.12 |
| Soggetto topico |
Quantum theory
Special relativity (Physics) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-93541-7
9786611935412 981-279-493-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Part I Preliminaries ; 1. Foundations ; 1.1 Physics without Objects ; 1.2 Observables ; 1.3 Finite Dimensional Heuristics ; 2. Quantum Sets ; 2.1 Logics and Lattices ; 2.2 Some First-order Quantum Aggregates ; 2.2.1 Finite Products ; 2.2.2 Sequences ; 2.2.3 Sets
2.2.4 Sibs 2.3 Quantum Set Theory ; 3. Group Duality Coherence and Cyclic Actions ; 3.1 The Duality of Groups and Hopf Algebras ; 3.1.1 Algebras ; 3.1.2 Coalgebras ; 3.1.3 Bialgebras and Hopf Algebras ; 3.1.4 The Additive Affine Group ; 3.1.5 Finite Group Algebras 3.1.6 Topological Hopf and Coalgebras 3.1.7 The Algebra of Representative Functions on a Compact Group ; 3.1.8 Tensor Symmetric and Exterior Algebras ; 3.1.9 The Universal Enveloping Algebra of a Lie Algebra ; 3.2 Quantum Versions of Cyclic Groups 3.2.1 Quantum Permutations: from SI(n C) to Zn 3.2.2 Condensation and Coherence ; 3.2.3 Quantizing Cycles: from Zn to SI(n C) ; Part II Computational Paradigms ; 4. Natural Deduction ; 4.1 Natural Deduction for a Minimal System ; 4.2 The Curry-Howard Isomorphism 4.3 The Gentzen Sequent Calculus 5. Quantum Logic ; 5.1 Orthologic and its Model Theory ; 5.1.1 Orthologic as a Deductive System ; 5.1.2 Modal Logic and Kripke Models ; 5.1.3 A Modal Translation Theorem ; 5.1.4 The Implication Problem and Orthomodular Logic 5.1.5 Orthomodular Foundations for Quantum Mechanics |
| Record Nr. | UNINA-9910454321803321 |
Selesnick S. A (Stephen Allan)
|
||
| River Edge, NJ, : World Scientific, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick
| Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick |
| Autore | Selesnick S. A (Stephen Allan) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | River Edge, NJ, : World Scientific, c2003 |
| Descrizione fisica | 1 online resource (487 p.) |
| Disciplina | 530.12 |
| Soggetto topico |
Quantum theory
Special relativity (Physics) |
| ISBN |
1-281-93541-7
9786611935412 981-279-493-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Part I Preliminaries ; 1. Foundations ; 1.1 Physics without Objects ; 1.2 Observables ; 1.3 Finite Dimensional Heuristics ; 2. Quantum Sets ; 2.1 Logics and Lattices ; 2.2 Some First-order Quantum Aggregates ; 2.2.1 Finite Products ; 2.2.2 Sequences ; 2.2.3 Sets
2.2.4 Sibs 2.3 Quantum Set Theory ; 3. Group Duality Coherence and Cyclic Actions ; 3.1 The Duality of Groups and Hopf Algebras ; 3.1.1 Algebras ; 3.1.2 Coalgebras ; 3.1.3 Bialgebras and Hopf Algebras ; 3.1.4 The Additive Affine Group ; 3.1.5 Finite Group Algebras 3.1.6 Topological Hopf and Coalgebras 3.1.7 The Algebra of Representative Functions on a Compact Group ; 3.1.8 Tensor Symmetric and Exterior Algebras ; 3.1.9 The Universal Enveloping Algebra of a Lie Algebra ; 3.2 Quantum Versions of Cyclic Groups 3.2.1 Quantum Permutations: from SI(n C) to Zn 3.2.2 Condensation and Coherence ; 3.2.3 Quantizing Cycles: from Zn to SI(n C) ; Part II Computational Paradigms ; 4. Natural Deduction ; 4.1 Natural Deduction for a Minimal System ; 4.2 The Curry-Howard Isomorphism 4.3 The Gentzen Sequent Calculus 5. Quantum Logic ; 5.1 Orthologic and its Model Theory ; 5.1.1 Orthologic as a Deductive System ; 5.1.2 Modal Logic and Kripke Models ; 5.1.3 A Modal Translation Theorem ; 5.1.4 The Implication Problem and Orthomodular Logic 5.1.5 Orthomodular Foundations for Quantum Mechanics |
| Record Nr. | UNINA-9910782117103321 |
|
Selesnick S. A (Stephen Allan)
|
||
| River Edge, NJ, : World Scientific, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick
| Quanta, logic and spacetime [[electronic resource] /] / S.A. Selesnick |
| Autore | Selesnick S. A (Stephen Allan) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | River Edge, NJ, : World Scientific, c2003 |
| Descrizione fisica | 1 online resource (487 p.) |
| Disciplina | 530.12 |
| Soggetto topico |
Quantum theory
Special relativity (Physics) |
| ISBN |
1-281-93541-7
9786611935412 981-279-493-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Part I Preliminaries ; 1. Foundations ; 1.1 Physics without Objects ; 1.2 Observables ; 1.3 Finite Dimensional Heuristics ; 2. Quantum Sets ; 2.1 Logics and Lattices ; 2.2 Some First-order Quantum Aggregates ; 2.2.1 Finite Products ; 2.2.2 Sequences ; 2.2.3 Sets
2.2.4 Sibs 2.3 Quantum Set Theory ; 3. Group Duality Coherence and Cyclic Actions ; 3.1 The Duality of Groups and Hopf Algebras ; 3.1.1 Algebras ; 3.1.2 Coalgebras ; 3.1.3 Bialgebras and Hopf Algebras ; 3.1.4 The Additive Affine Group ; 3.1.5 Finite Group Algebras 3.1.6 Topological Hopf and Coalgebras 3.1.7 The Algebra of Representative Functions on a Compact Group ; 3.1.8 Tensor Symmetric and Exterior Algebras ; 3.1.9 The Universal Enveloping Algebra of a Lie Algebra ; 3.2 Quantum Versions of Cyclic Groups 3.2.1 Quantum Permutations: from SI(n C) to Zn 3.2.2 Condensation and Coherence ; 3.2.3 Quantizing Cycles: from Zn to SI(n C) ; Part II Computational Paradigms ; 4. Natural Deduction ; 4.1 Natural Deduction for a Minimal System ; 4.2 The Curry-Howard Isomorphism 4.3 The Gentzen Sequent Calculus 5. Quantum Logic ; 5.1 Orthologic and its Model Theory ; 5.1.1 Orthologic as a Deductive System ; 5.1.2 Modal Logic and Kripke Models ; 5.1.3 A Modal Translation Theorem ; 5.1.4 The Implication Problem and Orthomodular Logic 5.1.5 Orthomodular Foundations for Quantum Mechanics |
| Record Nr. | UNINA-9910819881303321 |
|
Selesnick S. A (Stephen Allan)
|
||
| River Edge, NJ, : World Scientific, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||