Hypersequent and Labelled Calculi for Intermediate Logics.

Agata Ciabattoni Paolo Maffezioli Lara Spendier

Published in: TABLEAUX (2013)

Keyphrases

sequent calculi
modal logic
expressive power
conditional logic
inference rules
propositional calculus
decision making
fuzzy logic
description logics
constraint satisfaction problems
temporal logic
databases
classical logic
reasoning problems
proof theory
cut elimination
artificial intelligence