Geodesic
Four-Valued Logics BD and DM4: Expansions
Bulletin of the Section of Logic, Tome 46 (2017) no. 1-2.

Voir la notice de l'article provenant de la source Library of Science

The paper discusses functional properties of some four-valued logics which are the expansions of four-valued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by matrices having the same underlying algebra, but with a different choice of designated values, i.e. with one designated value. In the preceding literature both approaches were developed independently. Moreover, we present the lattices of the functional expansions of DM4.
Keywords: Belnap’s four-valued logic, expansions and functional properties, lattices 
@article{BSL_2017_46_1-2_a1,
     author = {Karpenko, Alexander S.},
     title = {Four-Valued {Logics} {BD} and {DM4:} {Expansions}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {46},
     number = {1-2},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a1/}
}
TY  - JOUR
AU  - Karpenko, Alexander S.
TI  - Four-Valued Logics BD and DM4: Expansions
JO  - Bulletin of the Section of Logic
PY  - 2017
VL  - 46
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a1/
LA  - en
ID  - BSL_2017_46_1-2_a1
ER  - 
%0 Journal Article
%A Karpenko, Alexander S.
%T Four-Valued Logics BD and DM4: Expansions
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a1/
%G en
%F BSL_2017_46_1-2_a1
Karpenko, Alexander S. Four-Valued Logics BD and DM4: Expansions. Bulletin of the Section of Logic, Tome 46 (2017) no. 1-2. http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a1/