129
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
      In review
      research-article
        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 machine program for reading and writing Kleene theorem proving axioms based one enactment logic.

            Content

            Author and article information

            Journal
            ScienceOpen Preprints
            ScienceOpen
            4 November 2020
            Affiliations
            [1 ] KCL Department of ENGINEERING
            Article
            10.14293/S2199-1006.1.SOR-.PPVOHXY.v2
            f5c55900-5026-48a4-932d-c0d46bbb4320

            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