منابع مشابه
Kazhdan–Lusztig polynomials of boolean elements
We give closed combinatorial product formulas for Kazhdan–Lusztig poynomials and their parabolic analogue of type q in the case of boolean elements, introduced in [M. Marietti, Boolean elements in Kazhdan–Lusztig theory, J. Algebra 295 (2006)], in Coxeter groups whose Coxeter graph is a tree. Such formulas involve Catalan numbers and use a combinatorial interpretation of the Coxeter graph of th...
متن کاملPragmatic Elements of Rawls’s Theory of Justice
In this article, in order to demonstrate the pragmatic elements of Rawls’s viewpoint, the developmental path of his A Theory of Justice shall first be investigated. This development has two phases: In the first phase, justice has an ethical-philosophical basis. In A Theory of Justice, this phase is specifically shown under the title of theory of justice. In the second phase, justice has no phil...
متن کاملGeneralizing Boolean Satisfiability II: Theory
This is the second of three planned papers describing zap, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying zap is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to def...
متن کاملA Boolean-valued probability theory
New foundations for probability theory are suggested and investigated, derived from the formalized systems theory and using also some other branches of mathematical logic. The probability measures are supposed to take their values not in the unit interval of reals, but in a special kind of Boolean algebras. Some analogies as well as differences of this approach with respect to the classical Kol...
متن کاملBoolean and Matroidal Independence in Uncertainty Theory
In this paper we discuss the nature of independence of sources in the theory of evidence from an algebraic point of view. Independence in Dempster’s rule is equivalent to independence of frames IF as Boolean sub-algebras. IF , however, cannot be explained neither in terms of classical matroidal independence, nor (even if finite families of frames form geometric lattices) as a cryptomorphic form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2006
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2005.09.031