An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates.

Ievgen Ivanov Artur Kornilowicz Mykola S. Nikitchenko

Published in: Formaliz. Math. (2018)

Keyphrases

proof theoretic
horn clauses
logic programming
modal logic
database
machine learning
classical logic
linear time temporal logic
high quality
deductive databases
digital circuits
predicate logic
tableau calculus