3 search results - page 1 / 1 » Axiomatizing the Cyclic Interval Calculus |
KR
2004
Springer
15 years 4 months ago
2004
Springer
JSYML
2007
14 years 10 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
AML
2006
14 years 10 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...