Proof Theory for First Order Lukasiewicz Logic.

Matthias Baaz George Metcalfe

Published in: TABLEAUX (2007)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
causal theories
first order logic
modal logic
model theoretic
bayesian networks
truth values
default logic
nonmonotonic reasoning