Bilattice Logic Properly Displayed
classification
🧮 math.LO
keywords
bilatticedisplaylogicmulti-typeappliesbilatticesbuildscalculi
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.