Login / Signup
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.
Arnon Avron
Jonathan Ben-Naim
Beata Konikowska
Published in:
Logica Universalis (2007)
Keyphrases
</>
valued semantics
sequent calculi
default logic
consistent query answering
conditional logic
modal logic
dl lite
logical implication
functional dependencies
nonmonotonic reasoning
cut elimination
machine learning
artificial intelligence
logic programming