## 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 as in [22] (Β© 2009 WILEYβV
β¦ LIBER β¦
Orthomodular Logic
β Scribed by Gudrun Kalmbach
- Publisher
- John Wiley and Sons
- Year
- 1974
- Tongue
- English
- Weight
- 636 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Modal-type orthomodular logic
β
Graciela Domenech; Hector Freytes; Christian de Ronde
π
Article
π
2009
π
John Wiley and Sons
π
English
β 138 KB
Kripke-style Semantics of Orthomodular L
β
Yutaka Miyazaki
π
Article
π
2001
π
John Wiley and Sons
π
English
β 276 KB
π 2 views
On Finitely Generated Orthomodular Latti
β
Ladislav Beran
π
Article
π
1979
π
John Wiley and Sons
π
English
β 475 KB
1982 news about orthomodular lattices
β
Gudrun Kalmbach
π
Article
π
1985
π
Elsevier Science
π
English
β 750 KB
Darts cette note, je pr&sente de nouveaux r6sultats sur les treilli.~ orthomodulaires, obtenus depuis 1980. Vingt ~ trente article de recherche ont 6t~ publi6s sur ce sujet, ainsi qu'un certain nombre de livres. Les articles de recherche concement: (a) Les propri6tgs alg~briques des orthostructures
The Pasting Constructions for Orthomodul
β
Mirko Navara; VladimΓr Rogalewicz
π
Article
π
1991
π
John Wiley and Sons
π
English
β 643 KB
Central and Exchange Properties of Ortho
β
Ladislav Beran
π
Article
π
1980
π
John Wiley and Sons
π
English
β 178 KB
## Abstract Criterions for the centre of an orthomodular lattice and a generalization of a result on the relation of commutativity due to S. P. GUDDER and R. H. SCHELP are given.