Abstract
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 language | English |
---|---|
Pages (from-to) | 138-155 |
Number of pages | 18 |
Journal | Fuzzy Sets and Systems |
Volume | 363 |
DOIs | |
Publication status | Published - 15 May 2019 |
Externally published | Yes |
Keywords
- Algebraic proof theory
- Bilattice logic
- Cut elimination
- Display calculi
- Many-valued logics
- Multi-type calculi
- Non-classical logics
- Sequent calculi
- Substructural logics