Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.

Stefano Aguzzoli Agata Ciabattoni Antonio Di Nola

Published in: J. Log. Comput. (2000)

Keyphrases

sequent calculi
modal logic
valued logic
classical logic
truth values
conditional logic
multi valued
decision procedures
temporal logic
inference rules
boolean functions
situation calculus
artificial intelligence
cut elimination
default reasoning
desirable properties
query answering