Semantic Computation of the Propositional Model Composites in Enactment Logic.

EasyChair Preprint 6186

Abstract

 This research is on enactment logic modeled as propositional composites in a variable environment. Furthermore is semantic computations with truth value interpretations that formulates true(T) or false(F) terms. Validity of possible model of the language is consequent of satisfiable models. This is determined in this research work.

Keyphrases: Composites, enactment, environment, logic, model, satisfiability, semantics, validity

@booklet{EasyChair:6186,
  author    = {Frank Appiah},
  title     = {Semantic Computation of the Propositional Model Composites in Enactment Logic.},
  howpublished = {EasyChair Preprint 6186},
  year      = {EasyChair, 2021}}