Explicit Proofs in Formal Provability Logic.

Published in: LFCS (2007)

Keyphrases

natural deduction
cut elimination
formal language
sequent calculus
proof search
theorem prover
model theoretic
mathematical theory

automated reasoning
automated theorem proving
operational semantics
ctl model update
computational logic
logic programming
multi valued
inference rules

theorem proving
linear logic
decision procedures
formal model
classical logic
proof procedure
asynchronous circuits
computational properties

mathematical proofs
probabilistic logic
highly expressive
logical framework
bayesian networks
algebraic operators
real time