Download PDFOpen PDF in browser

Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof)

EasyChair Preprint no. 6193

8 pagesDate: July 30, 2021

Abstract

This research is on axiomatical proofing using Appiah-Kleene Axiom expressions. Nine propositional formulas from enactment logic are model proved in model terms based on axiomatic schema means.This will result in  producing the model composites proposed  from the  axiom scheme.

Keyphrases: Composites, enactment, logic, model, model checking, Scheme

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:6193,
  author = {Frank Appiah},
  title = {Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof)},
  howpublished = {EasyChair Preprint no. 6193},

  year = {EasyChair, 2021}}
Download PDFOpen PDF in browser