Modal‐type orthomodular logic
Copyright policy )Modal‐type orthomodular logic
AbstractIn 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‐VCH Verlag GmbH & Co. KGaA, Weinheim)
- National Scientific and Technical Research Council Argentina
- Vrije Universiteit Brussel Belgium
- University of Cagliari Italy
- University of Buenos Aires Argentina
- Institute of Astronomy and Space Physics Argentina
modal orthomodular logic, Modal Logic, FOS: Physical sciences, Baer*-semigroup, deduction theorem, https://purl.org/becyt/ford/6.3, orthomodular lattice, https://purl.org/becyt/ford/6, FOS: Mathematics, Quantum logic, Quantum Mechanics, Quantum Physics, Kripke semantic, Complemented lattices, orthocomplemented lattices and posets, Mathematics - Logic, Kripke-style semantics, Boolean saturated orthomodular lattice, completeness, Ordered semigroups and monoids, modality, compactness, Quantum Physics (quant-ph), Logic (math.LO), Modal logic (including the logic of norms)
modal orthomodular logic, Modal Logic, FOS: Physical sciences, Baer*-semigroup, deduction theorem, https://purl.org/becyt/ford/6.3, orthomodular lattice, https://purl.org/becyt/ford/6, FOS: Mathematics, Quantum logic, Quantum Mechanics, Quantum Physics, Kripke semantic, Complemented lattices, orthocomplemented lattices and posets, Mathematics - Logic, Kripke-style semantics, Boolean saturated orthomodular lattice, completeness, Ordered semigroups and monoids, modality, compactness, Quantum Physics (quant-ph), Logic (math.LO), Modal logic (including the logic of norms)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).5 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!