On the infinite-valued Lukasiewicz logic that preserves degrees of truth.

Josep Maria Font Àngel J. Gil Antoni Torrens Ventura Verdú

Published in: Arch. Math. Log. (2006)

Keyphrases

truth values
valued logic
multi valued
inference rules
modal logic
classical logic
fixpoint
logic programming
neural network
data model
fuzzy logic
first order logic
database systems
default logic
case study
artificial intelligence
finite sets
machine learning