Mostrar el registro sencillo del ítem
dc.contributor.author
Freytes Solari, Hector Carlos
dc.contributor.author
de Ronde, Christian
dc.contributor.author
Domenech, Graciela
dc.date.available
2020-11-04T13:19:24Z
dc.date.issued
2017-05
dc.identifier.citation
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
dc.identifier.issn
0020-7748
dc.identifier.uri
http://hdl.handle.net/11336/117574
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer/Plenum Publishers
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
KRIPKE FRAMES
dc.subject
ORTHOMODULAR LOGIC
dc.subject
TWO-VALUED STATES
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Kripke Style Semantic for the Logic of Two Valued-States
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2020-11-02T17:02:02Z
dc.journal.volume
56
dc.journal.number
12
dc.journal.pagination
3953-3962
dc.journal.pais
Estados Unidos
dc.description.fil
Fil: Freytes Solari, Hector Carlos. Universidad Nacional de Rosario; Argentina. Università Degli Studi Di Cagliari.; Italia. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: de Ronde, Christian. Vrije Unviversiteit Brussel; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina
dc.description.fil
Fil: Domenech, Graciela. Vrije Unviversiteit Brussel; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
International Journal of Theoretical Physics
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s10773-017-3400-0
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s10773-017-3400-0
Archivos asociados
Tamaño:
419.8Kb
Formato:
PDF