TY  - RPRT
TI  - Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
AU  - Zoran Majkic
PY  - 2011
UR  - https://arxiv.org/abs/1103.1334
ID  - 1103.1334
ER  -