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

EasyChair Preprint 4059, version history

VersionDatePagesVersion notes
1
August 19, 2020
27
2
November 6, 2020
26

Eliminating misprints

3
November 10, 2020
26

Eliminating misprints

4
November 19, 2020
33

Eliminating misprints

5
January 12, 2022
29

Eliminating misprints

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 4059},
  year      = {EasyChair, 2020}}