Download PDFOpen PDF in browserSyntactic Computation of Model Composites of Enactment Logic.EasyChair Preprint 61948 pages•Date: July 30, 2021AbstractThis research is on provable forms based on syntactic theorem using Kleene Axiom schema. Enact model I and II of propositional formulas from enactment logic are proven in terms of theorems based on deductive rules. This work proves by deduction rules that Enact Model I and II are model theorems. Keyphrases: Composites, enactment, logic, model, proof, syntactic, theorem.
|