3 search results - page 1 / 1 » Axiomatizing the Cyclic Interval Calculus |
KR
2004
Springer
13 years 10 months ago
2004
Springer
JSYML
2007
13 years 4 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
13 years 5 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...