Virtual logic - the calculus of indications.
Louis H. KauffmanPublished in: Cybern. Hum. Knowing (1998)
Keyphrases
- formal language
- computer algebra
- natural deduction
- proof procedure
- cut elimination
- automated theorem proving
- algebraic structure
- sequent calculus
- virtual environment
- computational properties
- logic programming
- augmented reality
- virtual reality
- proof search
- transition systems
- neural network
- relation algebra
- linear time temporal logic
- asynchronous circuits
- set theory
- classical logic
- multi valued
- automated reasoning
- inference rules
- virtual world
- predicate logic
- predicate calculus
- digital circuits
- nonmonotonic logics
- logical framework
- propositional logic
- formal logic
- theorem prover
- real time