Syntactic Computation of Model Composites of Enactment Logic.

EasyChair Preprint 6194

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.

@booklet{EasyChair:6194,
  author    = {Frank Appiah},
  title     = {Syntactic Computation of Model Composites of Enactment Logic.},
  howpublished = {EasyChair Preprint 6194},
  year      = {EasyChair, 2021}}