80 search results - page 2 / 16 » The Logic of Perfect MV-algebras |
TIME
2009
IEEE
13 years 11 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
EUSFLAT
2007
13 years 6 months ago
2007
In this paper we summarize results on perfect MV-algebras and we show that the class of first order Lukasiewicz formulas valid in all interpretations over perfect MV-chains is ax...
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
AML
2005
13 years 4 months ago
2005
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an i...