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