Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework.

Norihiro Kamide

Published in: Logica Universalis (2019)

Keyphrases

sequent calculi
cut elimination
sequent calculus
modal logic
conditional logic
linear logic
natural deduction
horn clauses
inference rules
logic programming
logic programs
wide class
default reasoning
expressive power
machine learning
metric space
derivation rules