Blog
About

64
views
1
recommends
+1 Recommend
1 collections
    1
    shares
      • Record: found
      • Abstract: found
      • Poster: found
      Is Open Access

      Report on engineering for system development on Enactprover

        , 1

      ScienceOpen Posters

      ScienceOpen

      Model, Machine, Interpretation , 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 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.

          Related collections

          Author and article information

          Journal
          ScienceOpen Posters
          ScienceOpen
          5 October 2020
          Affiliations
          [1 ] University College London
          Article
          10.14293/S2199-1006.1.SOR-.PPTROAC.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, Interpretation , Machine, Model

          Comments

          Comment on this article