Kripke Style Semantic for the Logic of Two Valued-States

Volver a la Vista simple
dc.conicet.fuenteElsevier
dc.conicet.organizacionUniversidad Nacional de Rosario
dc.conicet.organizacionUniversità Degli Studi Di Cagliari.
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionVrije Unviversiteit Brussel
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"
dc.conicet.organizacionVrije Unviversiteit Brussel
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionItalia
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionBélgica
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionBélgica
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid9044428
dc.contributor.authorFreytes Solari, Hector Carlos
dc.contributor.authorde Ronde, Christian
dc.contributor.authorDomenech, Graciela
dc.date.accessioned2020-11-04T13:19:24Z
dc.date.available2020-11-04T13:19:24Z
dc.date.issued2017-05
dc.date.updated2020-11-02T17:02:02Z
dc.description.abstractIn 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.es
dc.description.filFil: 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.filFil: 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.filFil: Domenech, Graciela. Vrije Unviversiteit Brussel; Bélgica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.formatapplication/pdfes
dc.identifier.citationFreytes 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-3962es
dc.identifier.institucionalCONICET
dc.identifier.issn0020-7748es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/117574
dc.journal.number12es
dc.journal.pagination3953-3962es
dc.journal.paisEstados Unidoses
dc.journal.titleInternational Journal of Theoretical Physicses
dc.journal.volume56es
dc.language.isoenges
dc.publisherSpringer/Plenum Publisherses
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s10773-017-3400-0
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s10773-017-3400-0
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectKRIPKE FRAMESes
dc.subjectORTHOMODULAR LOGICes
dc.subjectTWO-VALUED STATESes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleKripke Style Semantic for the Logic of Two Valued-Stateses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.90d684e7-e2a9-484c-9c94-4bfb13572735_D.pdf
Tamaño:
419.84 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(SEDE CENTRAL)
Volver a la Vista simple