Sciweavers

1537 search results - page 16 / 308
» On sets not belonging to algebras
Sort
View
FUIN
2006
120views more  FUIN 2006»
13 years 7 months ago
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
Davide Ciucci
CORR
2000
Springer
85views Education» more  CORR 2000»
13 years 7 months ago
Conditional Plausibility Measures and Bayesian Networks
A general notion of algebraic conditional plausibility measures is de ned. Probability measures, ranking functions, possibility measures, and under the appropriate de nitions sets...
Joseph Y. Halpern
WOLLIC
2009
Springer
14 years 2 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
GC
2010
Springer
13 years 6 months ago
Intriguing Sets of Vertices of Regular Graphs
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...
Bart De Bruyn, Hiroshi Suzuki
CALCO
2009
Springer
159views Mathematics» more  CALCO 2009»
14 years 2 months ago
Complete Iterativity for Algebras with Effects
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
Stefan Milius, Thorsten Palm, Daniel Schwencke