Note on Deduction Theorems in contraction-free logics.

Karel Chvalovský Petr Cintula

Published in: Math. Log. Q. (2012)

Keyphrases

inference rules
intuitionistic logic
horn logic
modal logic
expressive power
anti unification
proof search
theorem proving
belief change
propositional logic
machine learning
classical logic
truth values
first order logic
computational properties
automated deduction
fuzzy logic
propositional calculus
case study