Download PDFOpen PDF in browser

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

EasyChair Preprint no. 4059, version 5

Versions: 12345history
29 pagesDate: January 12, 2022

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 = {Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant},
  howpublished = {EasyChair Preprint no. 4059},

  year = {EasyChair, 2022}}
Download PDFOpen PDF in browser