Mostra el registre parcial de l'element
| dc.contributor | Torrens Torrell, Antoni | |
| dc.creator | Alsalti Baldellou, Àdel | |
| dc.date | 2017-03-20T11:58:01Z | |
| dc.date | 2017-03-20T11:58:01Z | |
| dc.date | 2016-06 | |
| dc.date.accessioned | 2024-12-16T10:23:58Z | |
| dc.date.available | 2024-12-16T10:23:58Z | |
| dc.identifier | http://hdl.handle.net/2445/108623 | |
| dc.identifier.uri | http://fima-docencia.ub.edu:8080/xmlui/handle/123456789/16865 | |
| dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2016, Director: Antoni Torrens Torrell | |
| dc.description | Classical physics are widely known to be closely related to classical propositional calculus, whereas there does not exist a strongly settled analogue for quantum physics. We will focus on orthomodular logic and, in particular, we will study two different sentential logics that have been purposed with this aim over othomodular lattices. Thus, we will introduce their semantics from the foundations of quantum mechanics and presenting them by means of two different approaches whose equivalence will be shown. Additionally, we will give an adequate syntax for each proposal, the first one due to M. L. dalla Chiara and R. Giuntini and the last one to G. Kalmbach. Finally, completeness theorems will be discussed as well as the results that have been reached. | |
| dc.format | 44 p. | |
| dc.format | application/pdf | |
| dc.language | eng | |
| dc.rights | cc-by-nc-nd (c) Àdel Alsalti Baldellou, 2016 | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | |
| dc.subject | Lògica | |
| dc.subject | Treballs de fi de grau | |
| dc.subject | Lògica algebraica | |
| dc.subject | Física | |
| dc.subject | Teoria quàntica | |
| dc.subject | Logic | |
| dc.subject | Bachelor's theses | |
| dc.subject | Algebraic logic | |
| dc.subject | Physics | |
| dc.subject | Quantum theory | |
| dc.title | Orthomodular logic. A proposal of a logic for quantum physics | |
| dc.type | info:eu-repo/semantics/bachelorThesis |
| Fitxers | Grandària | Format | Visualització |
|---|---|---|---|
|
No hi ha fitxers associats a aquest element. |
|||