Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting.

Alexander Bolotov Vasilyi Shangin

Published in: COMPSAC (2014)

Keyphrases

natural deduction
theorem prover
inference rules
intuitionistic logic
theorem proving
cut elimination
missing data
sequent calculus
missing values
formal specification
delay insensitive
high level
machine learning
reactive systems