Download PDFOpen PDF in browserAxiomatical Computation of Model Composites of Enactment Logic.EasyChair Preprint 61925 pages•Date: July 30, 2021AbstractThis 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
|