Modal type othomodular logic

FREYTES, HECTOR CARLOS;
2009-01-01

Abstract

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 Kripkestyle semantic founded on Baer ⋆-semigroups
2009
MATHEMATICAL LOGIC QUARTERLY
55
3
307
319
12
WOS:000267096600009
2-s2.0-67649245938
Esperti anonimi
Domenech, G; Freytes, HECTOR CARLOS; DE RONDE, C.
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
3
none
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie