On Lukasiewicz Logic with Truth Constants.

Roberto Cignoli Francesc Esteva Lluís Godo

Published in: IFSA (2) (2007)

Keyphrases

truth values
modal logic
multi valued
inference rules
valued logic
fixpoint
classical logic
neural network
database
deductive databases
epistemic logic
logical framework
temporal logic
first order logic
description logics
data structure
databases
real time