A Completeness Proof of Kiczuk's Logic of Physical Change.
Robert TrypuzPublished in: Stud Logica (2010)
Keyphrases
- proof theory
- linear logic
- proof search
- natural deduction
- proof theoretic
- higher order logic
- modal logic
- cut elimination
- sequent calculus
- sequent calculi
- logical rules
- physical world
- neural network
- proof procedure
- predicate calculus
- digital circuits
- multi valued
- automated reasoning
- theorem prover
- predicate logic
- classical logic
- automated theorem proving
- theorem proving
- inference rules
- multi agent systems
- case study
- real world
- databases