Download PDFOpen PDF in browserCurrent version

Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant

EasyChair Preprint no. 4059, version 1

Versions: 12345history
27 pagesDate: August 19, 2020

Abstract

Here, we develop a unversal method of [effective] constructing
a [finite] Hilbert-style axiomatization of the logic of a given
finite disjunctive/implicative matrix with equality determinant
(in particular, any/implicative four-valued expansion of Belnap's
logic) [and finitely many connectives].

Keyphrases: Calculus, logic, matrix

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:4059,
  author = {Alexej Pynko},
  title = {Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant},
  howpublished = {EasyChair Preprint no. 4059},

  year = {EasyChair, 2020}}
Download PDFOpen PDF in browserCurrent version