3 search results - page 1 / 1 » Axiomatizing the Cyclic Interval Calculus |
56
Voted
KR
2004
Springer
15 years 5 months ago
2004
Springer
79
Voted
JSYML
2007
15 years 10 days 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...
105
Voted
AML
2006
15 years 15 days 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...