Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (2018), pp. 60-63
Voir la notice de l'article provenant de la source Math-Net.Ru
The natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$ are presented in the paper.
@article{VMUMM_2018_1_a8,
author = {Ya. I. Petrukhin},
title = {Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {60--63},
publisher = {mathdoc},
number = {1},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2018_1_a8/}
}
TY - JOUR
AU - Ya. I. Petrukhin
TI - Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 2018
SP - 60
EP - 63
IS - 1
PB - mathdoc
UR - http://geodesic.mathdoc.fr/item/VMUMM_2018_1_a8/
LA - ru
ID - VMUMM_2018_1_a8
ER -
%0 Journal Article
%A Ya. I. Petrukhin
%T Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2018
%P 60-63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2018_1_a8/
%G ru
%F VMUMM_2018_1_a8
Ya. I. Petrukhin. Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 1 (2018), pp. 60-63. http://geodesic.mathdoc.fr/item/VMUMM_2018_1_a8/