Modal-type orthomodular logic

dc.creatorDomenech, Graciela
dc.creatorFreytes Solari, Hector Carlos
dc.creatorde Ronde, Christian
dc.date.accessioned2017-07-28T19:38:22Z
dc.date.accessioned2018-11-06T15:55:57Z
dc.date.available2017-07-28T19:38:22Z
dc.date.available2018-11-06T15:55:57Z
dc.date.created2017-07-28T19:38:22Z
dc.date.issued2009-05
dc.identifierDomenech, Graciela; Freytes Solari, Hector Carlos; de Ronde, Christian; Modal-type orthomodular logic; Wiley VCH Verlag; Mathematical Logic Quarterly; 55; 3; 5-2009; 307-319
dc.identifier0942-5616
dc.identifierhttp://hdl.handle.net/11336/21552
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1902615
dc.description.abstractIn this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded on Baer *-semigroups as in [20].
dc.languageeng
dc.publisherWiley VCH Verlag
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.200710088
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1002/malq.200710088/abstract
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectMODAL LOGIC
dc.subjectQUANTUM MECHANICS
dc.titleModal-type orthomodular logic
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución