Report on engineering for system development on Enactprover

Abstract

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.

Journal

Title: ScienceOpen Posters

Publisher: ScienceOpen

Publication date (Electronic preprint): 5 October 2020

Affiliations

[1 ] University College London

Article

DOI: 10.14293/S2199-1006.1.SOR-.PPTROAC.v1

License:

This work has been published open access under Creative Commons Attribution License CC BY 4.0 , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com .