منابع مشابه
Meet- and join-closure of CTL operators
Results from lattice theory have successfully been applied by several researchers, e.g. [1, 7, 9, 10], to reduce the complexity of verification of distributed computations. The set of all reachable states of a distributed computation forms a lattice under a certain partial order relation. A property is said to exhibit meet-closure if the set of reachable states satisfying it is closed under the...
متن کاملFinite Join and Finite Meet, and Dual Lattices
The concepts of finite join and finite meet in a lattice are introduced. Some properties of the finite join are proved. After introducing the concept of dual lattice in view of dualism we obtain analogous properties of the meet. We prove these properties of binary operations in a lattice, which are usually included in axioms of the lattice theory. We also introduce the concept of Heyting lattic...
متن کاملDefinitions and Properties of the Join and Meet of Subsets1
This paper is the continuation of formalization of [4]. The definitions of meet and join of subsets of relational structures are introduced. The properties of these notions are proved. [6] provide the notation and terminology for this paper. 1. PRELIMINARIES One can prove the following propositions: (1) Let L be a relational structure, X be a set, and a be an element of L. If a ∈ X and sup X ex...
متن کاملDeterminant and Inverse of Meet and Join Matrices
All material supplied via TamPub is protected by copyright and other intellectual property rights, and duplication or sale of all part of any of the repository collections is not permitted, except that material may be duplicated by you for your research use or educational purposes in electronic or print form. You must obtain permission for any other use. Electronic or print copies may not be of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pure and Apllied Mathematics
سال: 2014
ISSN: 1311-8080,1314-3395
DOI: 10.12732/ijpam.v93i1.10