Intuitionistic hybrid logic: Introduction and survey.
Torben BraünerPublished in: Inf. Comput. (2011)
Keyphrases
- classical logic
- linear logic
- cut elimination
- logical framework
- natural deduction
- modal logic
- decision making
- interval valued
- cross sectional
- logic programming
- theorem prover
- fixed point
- computational intelligence
- predicate logic
- epistemic logic
- asynchronous circuits
- expert systems
- website
- proof theory
- artificial intelligence
- sound and complete axiomatization