TY - JOUR
T1 - Bilattice logic properly displayed
AU - Greco, Giuseppe
AU - Liang, Fei
AU - Palmigiano, Alessandra
AU - Rivieccio, Umberto
PY - 2019
Y1 - 2019
N2 - We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.
AB - We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.
KW - Algebraic proof theory
KW - Bilattice logic
KW - Cut elimination
KW - Display calculi
KW - Many-valued logics
KW - Multi-type calculi
KW - Non-classical logics
KW - Sequent calculi
KW - Substructural logics
UR - http://www.scopus.com/inward/record.url?scp=85047217089&partnerID=8YFLogxK
U2 - 10.1016/j.fss.2018.05.007
DO - 10.1016/j.fss.2018.05.007
M3 - Article
AN - SCOPUS:85047217089
VL - 363
SP - 138
EP - 155
JO - Fuzzy Sets and Systems: an international journal in information science and engineering
JF - Fuzzy Sets and Systems: an international journal in information science and engineering
SN - 0165-0114
ER -