Bilattice logic properly displayed

Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio

Research output: Contribution to journalArticleScientificpeer-review

9 Citations (Scopus)
1 Downloads (Pure)


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 - 2019


  • 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