Download PDFOpen PDF in browserCurrent versionHilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality DeterminantEasyChair Preprint 4059, version 127 pages•Date: August 19, 2020AbstractHere, we develop a unversal method of [effective] constructing Keyphrases: Calculus, logic, matrix
|