An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz.
Roberto CignoliDaniele MundiciPublished in: Stud Logica (1997)
Keyphrases
- interactive theorem proving
- sequent calculus
- modal logic
- automated theorem proving
- natural deduction
- valued logic
- proof search
- cut elimination
- provably correct
- classical logic
- proof procedure
- inference rules
- linear logic
- theorem proving
- theorem prover
- truth values
- von neumann
- multi valued
- propositional logic
- single valued
- search engine
- automated deduction
- real numbers
- proof theory
- digital topology
- temporal logic
- data quality