Electronic Machine Program on Theorem Proving.
(EMPROTHEP)
This research poster is on provable forms based on syntactic theorem using Kleene Axiom schema. Enact model I and II of propositional formulas from enactment logic are proven in terms of theorems based on deductive rules. Work proves by deduction rules that Enact Model I and II are model theorems in machine-level interpretation. Enactprover is a machine program for reading and writing Kleene theorem proving axioms based on enactment logic.
Accepted: ScienceOpen Poster
Keywords. model, composites, enactment, logic, proof, syntactic,theorem. enactprover, machine-interpretation, program.
Listen:
Listen to "FRANK APPIAH-Engineering For Development" on Spreaker.
Comments
Post a Comment