922 search results - page 113 / 185 » A generalization of the Lin-Zhao theorem |
172
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
Recently, the distributivity of fuzzy implications over t-norms, t-conorms and uninorms was studied in many articles. In this paper we characterize functions which satisfy one of ...
156
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
147
click to vote
ECSQARU
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
149
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
165
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...