Bilattice logic properly displayed

Giuseppe Greco, Fei Liang*, Alessandra Palmigiano, Umberto Rivieccio

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


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.

Original languageEnglish
Pages (from-to)138-155
Number of pages18
JournalFuzzy Sets and Systems
Publication statusPublished - 15 May 2019
Externally publishedYes


  • Algebraic proof theory
  • Bilattice logic
  • Cut elimination
  • Display calculi
  • Many-valued logics
  • Multi-type calculi
  • Non-classical logics
  • Sequent calculi
  • Substructural logics


Dive into the research topics of 'Bilattice logic properly displayed'. Together they form a unique fingerprint.

Cite this