Geodesic
Natural deduction systems for some modifications of Kleene's and Dunn~--- Belnap's logics
Čelâbinskij fiziko-matematičeskij žurnal, Tome 3 (2018) no. 4, pp. 438-452

Voir la notice de l'article provenant de la source Math-Net.Ru

Kleene introduced the notions of regular logical connective and regular logic as well as considered three-valued examples of such logics. Finn and Komendantskaya studied functional properties of regular three-valued logics. Base ourselves upon their results, we present four-valued analogues of Kleene's three-valued logics. The first four-valued generalization of Kleene's three-valued logics (more exactly, of strong Kleene's logic) is Dunn–Belnap's logic. Two different orders (truth and information ones) can be defined on the set of truth values of this logic (we follow Belnap's semantics). Using them, one can define two sets of logical connectives. Only one of them (which is based on truth order) is presented in Dunn–Belnap's logic itself. Fitting considers two sets at the same time. We study logic (we call it Belnap–Fitting's logic) which have the connectives based on information order. Using these connectives (more exactly, we substitute them into Finn and Komendantskaya's equations instead of the connectives of strong Kleene's logic), we obtain a new class of four-valued logics which are analogues of regular three-valued ones. All the elements of this class are formalized via natural deduction systems.
Keywords: natural deduction system, four-valued logic, Kleene's logics, Dunn–Belnap's logic, regular logic. 
@article{CHFMJ_2018_3_4_a4,
     author = {Ya. I. Petrukhin},
     title = {Natural deduction systems for some modifications of {Kleene's} and {Dunn~---} {Belnap's} logics},
     journal = {\v{C}el\^abinskij fiziko-matemati\v{c}eskij \v{z}urnal},
     pages = {438--452},
     publisher = {mathdoc},
     volume = {3},
     number = {4},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CHFMJ_2018_3_4_a4/}
}
TY  - JOUR
AU  - Ya. I. Petrukhin
TI  - Natural deduction systems for some modifications of Kleene's and Dunn~--- Belnap's logics
JO  - Čelâbinskij fiziko-matematičeskij žurnal
PY  - 2018
SP  - 438
EP  - 452
VL  - 3
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHFMJ_2018_3_4_a4/
LA  - ru
ID  - CHFMJ_2018_3_4_a4
ER  - 
%0 Journal Article
%A Ya. I. Petrukhin
%T Natural deduction systems for some modifications of Kleene's and Dunn~--- Belnap's logics
%J Čelâbinskij fiziko-matematičeskij žurnal
%D 2018
%P 438-452
%V 3
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHFMJ_2018_3_4_a4/
%G ru
%F CHFMJ_2018_3_4_a4
Ya. I. Petrukhin. Natural deduction systems for some modifications of Kleene's and Dunn~--- Belnap's logics. Čelâbinskij fiziko-matematičeskij žurnal, Tome 3 (2018) no. 4, pp. 438-452. http://geodesic.mathdoc.fr/item/CHFMJ_2018_3_4_a4/