Virtual Logic - symbolic logic and the calculus of indications.
Louis H. KauffmanPublished in: Cybern. Hum. Knowing (1998)
Keyphrases
- modal logic
- proof theory
- proof theoretic
- automated reasoning
- natural deduction
- classical logic
- computational properties
- artificial intelligence
- case study
- probabilistic logic
- logical framework
- proof procedure
- set theory
- formal language
- linear time temporal logic
- database
- defeasible logic
- multi valued
- augmented reality
- information systems
- real time