The extended calculus of indications interpreted as a three-valued logic.
Francisco J. VarelaPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- natural deduction
- nonmonotonic logics
- computer algebra
- inference rules
- automated theorem proving
- transition systems
- automated reasoning
- modal logic
- logical framework
- model checking
- formal language
- asynchronous circuits
- sequent calculus
- multi valued
- algebraic structure
- proof search
- epistemic logic
- database systems
- cut elimination
- proof procedure
- database
- linear logic
- set theory
- computational properties
- proof theory
- propositional logic
- theorem prover
- temporal logic
- formal logic
- expressive power
- relation algebra