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

EasyChair Preprint no. 4059, version history

VersionDatePagesVersion notes
1August 19, 202027
2November 6, 202026

Eliminating misprints

3November 10, 202026

Eliminating misprints

4November 19, 202033

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 no. 4059},

  year = {EasyChair, 2020}}