Kripke Style Semantic for the Logic of Two Valued-States

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

doi:10.1007/s10773-017-3400-0

Artículo

Kripke Style Semantic for the Logic of Two Valued-States

Freytes Solari, Hector Carlos Icon

; de Ronde, Christian Icon

; Domenech, Graciela Icon

Fecha de publicación: 05/2017

Editorial: Springer/Plenum Publishers

Revista: International Journal of Theoretical Physics

ISSN: 0020-7748

Idioma: Inglés

Tipo de recurso: Artículo publicado

Clasificación temática:

Matemática Pura

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.

Palabras clave: KRIPKE FRAMES , ORTHOMODULAR LOGIC , TWO-VALUED STATES

Ver el registro completo

Archivos asociados

Tamaño: 419.8Kb

Formato: PDF

Descargar

Licencia

Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)

Identificadores

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

URL: https://link.springer.com/article/10.1007/s10773-017-3400-0

DOI: http://dx.doi.org/10.1007/s10773-017-3400-0

Colecciones

Articulos(SEDE CENTRAL)
Articulos de SEDE CENTRAL

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