Artículos de revistas
Modal-type orthomodular logic
Fecha
2009-05Registro en:
Domenech, Graciela; Freytes Solari, Hector Carlos; de Ronde, Christian; Modal-type orthomodular logic; Wiley VCH Verlag; Mathematical Logic Quarterly; 55; 3; 5-2009; 307-319
0942-5616
CONICET Digital
CONICET
Autor
Domenech, Graciela
Freytes Solari, Hector Carlos
de Ronde, Christian
Resumen
In 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].