Bilattice logic properly displayed
Giuseppe Greco (Universiteit Utrecht)
Fei Liang (Student TU Delft)
Alessandra Palmigiano (TU Delft - Technology, Policy and Management, University of Johannesburg)
Umberto Rivieccio (Universidade Federal do Rio Grande do Norte)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
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.
help_outline