Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory.
Jaakko HintikkaPublished in: Bull. Symb. Log. (2002)
Keyphrases
- logic programming
- formal theory
- probabilistic logic
- asynchronous circuits
- computer algebra
- logical theories
- logical framework
- modal logic
- formal logic
- commonsense reasoning
- probability theory
- multi valued
- set theory
- proof theory
- delay insensitive
- database
- logical representation
- boolean algebra
- dynamic logic
- linear logic
- logical operations
- epistemic logic
- predicate logic
- computational properties
- classical logic
- deductive reasoning
- proof theoretic
- sound and complete axiomatization
- abductive reasoning
- predicate calculus
- nonmonotonic logics
- automated reasoning
- theoretical framework
- computational model