Cut Free Formalization of Logic with Finitely Many Variables. Part I.

Published in: CSL (1994)

Keyphrases

formal logic
logical framework
operational semantics
knowledge representation
modal logic
variable selection
classical logic
table of contents
machine learning
multi valued
logic programming
formal model
predicate logic
relevant variables
propositional variables
proof theory
expert systems
image segmentation