Geodesic
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 
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/
@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},
     year = {2018},
     number = {1},
     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
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
%U http://geodesic.mathdoc.fr/item/VMUMM_2018_1_a8/
%G ru
%F VMUMM_2018_1_a8

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.

[1] Bochvar D.A., “Ob odnom trekhznachnom ischislenii i ego primenenii k analizu paradoksov klassicheskogo rasshirennogo funktsionalnogo ischisleniya”, Matem. sb., 4:2 (1938), 287–308

[2] Halldén S., The Logic of Nonsense, Lundequista Bokhandeln, Uppsala, 1949

[3] Gentsen G., “Issledovaniya logicheskikh vyvodov”, Matematicheskaya teoriya logicheskogo vyvoda, eds. A. V. Idelson, G. E. Mints, Nauka, M., 1967, 9–74 | MR

[4] Hałkowska K., “A note on matrices for systems of nonsence-logic”, Stud. Log., 48:4 (1989), 461–464 | DOI | MR

[5] Finn V.K., Grigolia R.S., “Nonsense logics and their algebraic properties”, Theoria, 59 (1993), 207–273 | DOI | MR | Zbl

[6] Ebbinghaus H.D., “Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen”, Arch. math. Logik., 12 (1969), 39–53 | DOI | MR | Zbl

[7] Henkin L., “The completeness of the first-order functional calculus”, J. Symb. Log., 14:3 (1949), 159–166 | DOI | MR | Zbl

[8] Tamminga A., “Correspondence analysis for strong three-valued logic”, Logicheskie issledovaniya, 20 (2014), 255–268 | MR | Zbl

[9] Kooi B., Tamminga A., “Completeness via correspondence for extensions of the logic of paradox”, Rev. Symb. Log., 5:4 (2012), 720–730 | DOI | MR | Zbl