Bilattice Logic Properly Displayed
Logic
2017-09-08 v1
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.
Cite
@article{arxiv.1709.02167,
title = {Bilattice Logic Properly Displayed},
author = {Giuseppe Greco and Fei Liang and Alessandra Palmigiano and Umberto Rivieccio},
journal= {arXiv preprint arXiv:1709.02167},
year = {2017}
}