136
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      Version and Review History
       
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      A Machine-Level Interpretation of Deductive Rules on Enact I and Enact II Model Theorems.

      Preprint
      research-article
      This is not the latest version for this article. If you want to read the latest version, click here.

        1 ,

      ScienceOpen Preprints

      ScienceOpen

      model, composites, enactment, logic, proof, syntactic, theorem, enactprover, machine, Program

      Bookmark

            Abstract

            This research proposal is on provable forms based on s yntactic 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[1] in machinelevel interpretation. Enactprover is a machineprogramforreadingandwritingKleenetheoremprovingaxiomsbased onenactment logic.

            Content

            Author and article information

            Journal
            ScienceOpen Preprints
            ScienceOpen
            5 October 2020
            Affiliations
            [1 ] UCL CENTRE OF SYSTEMS ENGINEERING
            Article
            10.14293/S2199-1006.1.SOR-.PPVOHXY.v1
            09fecaf7-2f7e-4dc5-bd43-ab164f999461

            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 .

            Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

            Engineering

            model, composites, enactment, logic, proof, syntactic, theorem, enactprover, machine, Program

            Comments

            Comment on this article