Download PDFOpen PDF in browser

Axiomatical Computation of Model Composites of Enactment Logic.

EasyChair Preprint 6192

5 pagesDate: July 30, 2021

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

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