.png){kind=icon}
.png){kind=icon}
Return
Bilattice logic properly displayed
.png){kind=icon}
OA
AI
DOI：10.1016/j.fss.2018.05.007.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2018 Elsevier B.V. All rights reserved.
Keywords:
Non-classical logics
Bilattice logic
Many-valued logics
Substructural logics
Algebraic proof theory
Sequent calculi
Cut elimination
Display calculi
Multi-type calculi
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.7
Papers:
7.6K
Citations:
1.5W
Organization
View more organizations