Axiomatical Computation of Model Composites of Enactment Logic.

EasyChair Preprint 6192

Abstract

This research is on axiomatical expressions using Kleene Axiom schema. Nine propositional formulas from enactment logic are expressed in terms of axioms based on schema means. This will result in about 40 axiomatical expressions. Expressive enactment logic is proposed as axiomatical expression of model composites of enactment propositions.

Keyphrases: Composites, axiom, enactment, expression, logic, model, syntactic

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