Connections and higher-order logic. – A new formula for the execution of categorical combinators. – Proof by induction using test sets. – A theory of diagnosis from first principles. – Modal theorem proving.
Connections and higher-order logic. – A new formula for the execution of categorical combinators. – Proof by induction using test sets. – A theory of diagnosis from first principles. – Modal theorem proving.