Pavelka-style completeness in expansions of Lukasiewicz logic.

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

Keyphrases

modal logic
truth values
classical logic
databases
logic programming
temporal logic
inference rules
modal operators
default logic
nonmonotonic logics
multi valued
proof theory
epistemic logic
automated reasoning
artificial neural networks
database systems
machine learning
neural network