A Formalization of Kant's Transcendental Logic.
Theodora AchouriotiMichiel van LambalgenPublished in: Rev. Symb. Log. (2011)
Keyphrases
- logical framework
- operational semantics
- formal logic
- modal logic
- logic programming
- multi valued
- defeasible logic
- knowledge representation
- formal model
- classical logic
- probabilistic logic
- linear temporal logic
- deductive reasoning
- proof theory
- dynamic logic
- abductive reasoning
- computational properties
- database
- relational databases
- search algorithm
- multi agent
- computer vision
- real world