Bounded Lukasiewicz Logics.

Agata Ciabattoni George Metcalfe

Published in: TABLEAUX (2003)

Keyphrases

modal logic
truth values
inference rules
expressive power
temporal logic
decision procedures
nonmonotonic logics
classical logic
conditional logic
real time
neural network
model checking
propositional calculus
coalition logic