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 |
Funding
This research is supported by the NWO Vidi grant 016.138.314, the NWO Aspasia grant 015.008.054, and the Delft Technology Fellowship awarded to the third author in 2013.
Funders | Funder number |
---|---|
Nederlandse Organisatie voor Wetenschappelijk Onderzoek | 015.008.054, 016.138.314 |
Keywords
- Algebraic proof theory
- Bilattice logic
- Cut elimination
- Display calculi
- Many-valued logics
- Multi-type calculi
- Non-classical logics
- Sequent calculi
- Substructural logics