Examinando por Autor "Fei Liang,"

Mostrando 1 - 1 de 1
  • Miniatura
    Publicación
    Bilattice Logic Properly Displayed
    (Elsevier, 2019-05-15) Greco, Giuseppe; Fei Liang,; Palmigiano,Alessandra; Rivieccio, Umberto
    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.