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

EasyChair Preprint 6193

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, Scheme, enactment, logic, model, model checking

@booklet{EasyChair:6193,
  author    = {Frank Appiah},
  title     = {Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof)},
  howpublished = {EasyChair Preprint 6193},
  year      = {EasyChair, 2021}}