Geodesic
Four-Valued Logics BD and DM4: Expansions
Bulletin of the Section of Logic, Tome 46 (2017) no. 1-2 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

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},
     year = {2017},
     volume = {46},
     number = {1-2},
     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
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
%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/