Natural Deduction for Fitting's Four-Valued Generalizations of Kleene's Logics.
Yaroslav I. PetrukhinPublished in: Logica Universalis (2017)
Keyphrases
- natural deduction
- inference rules
- intuitionistic logic
- valued logic
- propositional logic
- theorem prover
- first order logic
- cut elimination
- theorem proving
- modal logic
- valued semantics
- classical logic
- sequent calculus
- expressive power
- least squares
- proof theoretic
- regular expressions
- linear logic
- truth values
- linear time temporal logic
- logical framework
- model fitting
- fitting method
- nonmonotonic logics
- decision procedures
- proof procedure
- active appearance models
- normal form
- knowledge base
- machine learning