Download PDFOpen PDF in browserTheorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof)EasyChair Preprint 61938 pages•Date: July 30, 2021AbstractThis 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
|