Download PDFOpen PDF in browser

Syntactic Computation of Model Composites of Enactment Logic.

EasyChair Preprint 6194

8 pagesDate: July 30, 2021

Abstract

 This research 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. This work proves by deduction rules that Enact Model I and II are model theorems.

Keyphrases: Composites, enactment, logic, model, proof, syntactic, theorem.

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:6194,
  author    = {Frank Appiah},
  title     = {Syntactic Computation of Model Composites of Enactment Logic.},
  howpublished = {EasyChair Preprint 6194},
  year      = {EasyChair, 2021}}
Download PDFOpen PDF in browser