نتایج جستجو برای: typelffs subdirect product

تعداد نتایج: 280149  

Journal: :Bulletin of the American Mathematical Society 1944

Journal: :Pacific Journal of Mathematics 1959

1999
Susanne Prediger Rudolf Wille

The aim of this paper is to contribute to Data Analysis by clarifying how concept graphs may be derived from data tables. First it is shown how, by the method of relational scaling, a many-valued data context can be transformed into a power context family. Then it is proved that the concept graphs of a power context family form a lattice which can be described as a subdirect product of speciic ...

2007
GARRETT BIRKHOFF

The number of distinct operations (that is, the range of the variable a) may be infinite, but for our main result (Theorem 2), we shall require every n(a) to be finite—that is, it will concern algebras with finitary operations. The concepts of subalgebra, congruence relation on an algebra, homomorphism of one algebra A onto (or into) another algebra with the same operations, and of the direct u...

Journal: :Studia Logica 1991
Vaughan R. Pratt

Dynamic algebras combine the classes of Boolean (B ∨ ′ 0) and regular (R ∪ ; ∗) algebras into a single finitely axiomatized variety (B R 3) resembling an R-module with “scalar” multiplication 3. The basic result is that ∗ is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynam...

Journal: :Nagoya Mathematical Journal 1951

Journal: :Asian Journal of Mathematics & Statistics 2010

Journal: :Michigan Mathematical Journal 1969

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید