Artículo

Kripke Style Semantic for the Logic of Two Valued-States

 Freytes Solari, Hector Carlos Icon; de Ronde, Christian Icon; Domenech, Graciela Icon

Otros responsables

Fecha

05/2017

Editorial

Springer/Plenum Publishers

Revista

International Journal of Theoretical Physics

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

0020-7748

eISSN

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

Matemática Pura

Palabras clave

KRIPKE FRAMES , ORTHOMODULAR LOGIC , TWO-VALUED STATES

Resumen

In this paper we develope a Kripke style semantic for the logic of two-valued states on orthomodular lattices. Kripke models are built from Baer ∗ semigroups enriched with an unary operation. A completeness theorem with respect to this Kripkean semantic is established.

URI

http://hdl.handle.net/11336/117574

Colecciones

Articulos(SEDE CENTRAL)

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

by-nc-sa
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Archivos asociados
Miniatura

Archivos

CONICET_Digital_Nro.90d684e7-e2a9-484c-9c94-4bfb13572735_A.pdf (182.44 KB)
 Principal CONICET_Digital_Nro.90d684e7-e2a9-484c-9c94-4bfb13572735_D.pdf (419.84 KB)
Identificadores
URI: http://hdl.handle.net/11336/117574
DOI: http://dx.doi.org/10.1007/s10773-017-3400-0
URL: https://link.springer.com/article/10.1007/s10773-017-3400-0
Citación
Freytes Solari, Hector Carlos; de Ronde, Christian; Domenech, Graciela; Kripke Style Semantic for the Logic of Two Valued-States; Springer/Plenum Publishers; International Journal of Theoretical Physics; 56; 12; 5-2017; 3953-3962
Altmétricas