A New Proof of the McKinsey-Tarski Theorem.

Guram Bezhanishvili Nick Bezhanishvili Joel Lucero-Bryan Jan van Mill

Published in: Stud Logica (2018)

Keyphrases

interactive theorem proving
theorem prover
von neumann
neural network
machine learning
automated theorem proving
natural deduction
computer vision
knowledge base
theorem proving
linear logic
proof planning
intuitionistic logic
automated theorem provers
mathematical proofs