Glivenko like theorems in natural expansions of BCK-logic.

Roberto Cignoli Antoni Torrens

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

Keyphrases

artificial systems
cut elimination
modal logic
sequent calculus
predicate logic
sound and complete axiomatization
proof search
deontic logic
set theory
natural deduction
database
classical logic
logical framework
multi valued
man made
knowledge base
real world
data sets