Login / Signup
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus.
Guido Fiorino
Published in:
Inf. Sci. (2010)
Keyphrases
</>
tableau calculus
decision making
knowledge representation
decision problems
proof procedure
programming language
decision makers