TY - JOUR AU - Genito, Daniele AU - Gerla, Giangiacomo PY - 2013/10/09 Y2 - 2024/03/29 TI - Connecting bilattice theory with multivalued logic JF - Logic and Logical Philosophy JA - LLP VL - 23 IS - 1 SE - Articles DO - 10.12775/LLP.2013.036 UR - https://apcz.umk.pl/LLP/article/view/LLP.2013.036 SP - 15-45 AB - This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved. ER -