Blog
About

15
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • 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

        , 1

      ScienceOpen Preprints

      ScienceOpen

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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          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

          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

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

          Comments

          Comment on this article