scholarly journals Rough Approximation Operators on a Complete Orthomodular Lattice

Axioms ◽  
2021 ◽  
Vol 10 (3) ◽  
pp. 164
Author(s):  
Songsong Dai
Keyword(s):  
Boolean Algebra ◽  
Orthomodular Lattice ◽  
Orthomodular Lattices ◽  
Approximation Operators ◽  
Rough Approximation ◽  
Distributive Law ◽  
Complete Orthomodular Lattice ◽  
The Relationship

This paper studies rough approximation via join and meet on a complete orthomodular lattice. Different from Boolean algebra, the distributive law of join over meet does not hold in orthomodular lattices. Some properties of rough approximation rely on the distributive law. Furthermore, we study the relationship among the distributive law, rough approximation and orthomodular lattice-valued relation.

States and Boolean Algebra

2008 ◽  
Vol 15 (04) ◽  
pp. 649-652
Author(s):  
Nabila N. Mikhaeel ◽  
Basim Samir Labib
Keyword(s):  
Mathematical Logic ◽  
Boolean Algebra ◽  
Orthomodular Lattice ◽  
Orthomodular Lattices ◽  
Quantum Theories

We investigate subadditive measures on orthomodular lattices. We show as the main result that the Boolean algebra, the special metric orthomodular lattice and the orthomodular lattice which is unital with respect to subadditive states are equivalent. This result may find an application in the foundation of quantum theories and mathematical logic.

A Finiteness Criterion for Orthomodular Lattices

1978 ◽  
Vol 30 (02) ◽  
pp. 315-320 ◽  
Author(s):  
Günter Bruns
Keyword(s):  
Boolean Algebra ◽  
Orthomodular Lattice ◽  
Infinite Chain ◽  
The Other ◽  
Finitely Generated ◽  
Orthomodular Lattices ◽  
Other Hand ◽  
Finiteness Criterion ◽  
Element Set

The main result of this paper is the following: THEOREM. Every finitely generated orthomodular lattice L with finitely many maximal Boolean subalgebras (blocks) is finite. If L has one block only, our theorem reduces to the well-known fact that every finitely generated Boolean algebra is finite. On the other hand, it is known that a finitely generated orthomodular lattice without any further restrictions can be infinite. In fact, in [2] we constructed an orthomodular lattice which is generated by a three-element set with two comparable elements, has infinitely many blocks and contains an infinite chain.

Cation mobilities in liquid and supercritical C1–C4 hydrocarbons

1980 ◽  
Vol 58 (14) ◽  
pp. 1490-1494 ◽  
Author(s):  
Norman Gee ◽  
Gordon R. Freeman
Keyword(s):  
Free Path ◽  
Ion Mobility ◽  
Diffusion Coefficients ◽  
Critical Region ◽  
Mean Free Path ◽  
Liquid Viscosity ◽  
Boiling Points ◽  
Rough Approximation ◽  
The Relationship ◽  
Lower Liquid

The relationship between ion mobility and liquid viscosity is commonly expressed as μ [Formula: see text] η−m. In hydrocarbons the value of m tends to be near 1.0 at η > 5 mP, m > 1.0 at ~5 < η < 1 mP, and m < 1.0 at η < 0.5 mP. Thus there is a maximum in a plot of μη against η−1 and Walden's rule (m = 1.0) is only a rough approximation. The decrease of μη as the critical region is approached is accompanied by an increase in the ratio of diffusion coefficients Dmolec/Dion. Ion mobilities in the liquids well below their normal boiling points are chiefly controlled by the fluidity. At higher temperatures and concomitant lower liquid densities and viscosities μη first increases, due to an increasing ion mean free path, then decreases as the critical region is approached, due to the increasing liquid compressibility and consequent electrostriction about the ion.

scholarly journals Some Results on Multigranulation Neutrosophic Rough Sets on a Single Domain

Symmetry ◽  
2018 ◽  
Vol 10 (9) ◽  
pp. 417 ◽  
Author(s):  
Hu Zhao ◽  
Hong-Ying Zhang
Keyword(s):  
Algebraic Structure ◽  
Rough Sets ◽  
Lattice Structure ◽  
Single Domain ◽  
One Dimensional ◽  
Basic Properties ◽  
Approximation Operators ◽  
Rough Approximation ◽  
The One ◽  
Comprehensive Study

As a generalization of single value neutrosophic rough sets, the concept of multi-granulation neutrosophic rough sets was proposed by Bo et al., and some basic properties of the pessimistic (optimistic) multigranulation neutrosophic rough approximation operators were studied. However, they did not do a comprehensive study on the algebraic structure of the pessimistic (optimistic) multigranulation neutrosophic rough approximation operators. In the present paper, we will provide the lattice structure of the pessimistic multigranulation neutrosophic rough approximation operators. In particular, in the one-dimensional case, for special neutrosophic relations, the completely lattice isomorphic relationship between upper neutrosophic rough approximation operators and lower neutrosophic rough approximation operators is proved.

Semigroups Co-Ordinatizing Orthomodular Geometries

1965 ◽  
Vol 17 ◽  
pp. 40-51 ◽  
Author(s):  
D. J. Foulis
Keyword(s):  
Orthomodular Lattice ◽  
Orthomodular Lattices

In (2, 3, 4, and 5), the author has established a connection between orthomodular lattices and Baer *-semigroups. In brief, the connection is as follows. The lattice of closed projections of any Baer *-semigroup forms an orthomodular lattice. Conversely, if L is any orthomodular lattice, there exists a Baer *-semigroup S which co-ordinatizes L in the sense that L is isomorphic to the lattice of closed projections in S. In this note we shall assume that the reader is familiar with the results and the notation of the quoted papers.

Sign in / Sign up

Export Citation Format

Share Document