While the traditional lambda calculus proof system is not complete for Henkin models that may have empty types, we prove strong completeness for Kripke models.
By continuing you agree to the.
We give 110% because we know that ultimately a positive result for you is our success.
We are big enough to make a difference and small enough to care! It is a responsibility we take very seriously.
Copyright © 2012-2022 · Bizapedia.
Our import substitute indigenous products are at par with other international brands.
We also develop some properties of logical relations over Kripke structures, showing that every theory is the theory of a model determined by a Kripke equivalence relation over a Henkin model.
In fact, every set of equations that is closed under implication is the theory of a single Kripke model.