Virtual logic - self-reference and the calculus of indications.
Louis H. KauffmanPublished in: Cybern. Hum. Knowing (1998)
Keyphrases
- computer algebra
- natural deduction
- virtual reality
- sequent calculus
- logic programming
- virtual world
- proof procedure
- cut elimination
- relation algebra
- formal language
- modal logic
- virtual environment
- predicate logic
- proof search
- classical logic
- inference rules
- augmented reality
- algebraic structure
- multi valued
- digital circuits
- proof theoretic
- deontic logic
- linear time temporal logic
- automated theorem proving
- tableau calculus
- formal theory
- proof theory
- asynchronous circuits
- database
- theorem prover
- expressive power
- programming language