Sciweavers

Share
255 search results - page 1 / 51
» A Way to Interpret Lukasiewicz Logic and Basic Logic
Sort
View
SLOGICA
2008
135views more  SLOGICA 2008»
9 years 7 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
9 years 8 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
EUSFLAT
2007
160views Fuzzy Logic» more  EUSFLAT 2007»
9 years 8 months ago
The Logic of Perfect MV-algebras
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...
Lawrence Peter Belluce, Antonio di Nola, Brunella ...
ICLP
2009
Springer
10 years 7 months ago
Logic Programs under Three-Valued Lukasiewicz Semantics
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
Carroline Dewi Puspa Kencana Ramli, Steffen Hö...
AML
2006
120views more  AML 2006»
9 years 7 months ago
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
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...
Josep Maria Font, Àngel J. Gil, Antoni Torr...
books