Constructive Logic and the Medvedev Lattice.
Sebastiaan A. TerwijnPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- boolean algebra
- lattice theory
- algebraic structure
- classical logic
- logic programming
- modal logic
- lattice structure
- real time
- deontic logic
- defeasible logic
- computational properties
- multi valued
- automated reasoning
- abductive reasoning
- propositional logic
- machine learning
- databases
- proof theory
- data sets
- database
- lattice points