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

EasyChair Preprint 4059, version 4

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

@booklet{EasyChair:4059,
  author    = {Alexej Pynko},
  title     = {Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant},
  howpublished = {EasyChair Preprint 4059},
  year      = {EasyChair, 2020}}