Bilattice logic properly displayed

Giuseppe Greco

doi:10.1016/j.fss.2018.05.007

2019-05-01

Giuseppe Greco

Fei Liang *

Alessandra Palmigiano

Umberto Rivieccio

DOI：10.1016/j.fss.2018.05.007

原文链接

查看原文

摘要

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.

Keyword:

Non-classical logics

Bilattice logic

Many-valued logics

Substructural logics

Algebraic proof theory

Sequent calculi

Cut elimination

Display calculi

Multi-type calculi