Bilattice logic properly displayed

Giuseppe Greco; Fei Liang; Alessandra Palmigiano; Umberto Rivieccio

doi:10.1016/j.fss.2018.05.007

Bilattice logic properly displayed

Giuseppe Greco, Fei Liang^*, Alessandra Palmigiano, Umberto Rivieccio

^*Corresponding author for this work

Research output: Contribution to Journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	138-155
Number of pages	18
Journal	Fuzzy Sets and Systems
Volume	363
DOIs	https://doi.org/10.1016/j.fss.2018.05.007
Publication status	Published - 15 May 2019
Externally published	Yes

Funding

This research is supported by the NWO Vidi grant 016.138.314, the NWO Aspasia grant 015.008.054, and the Delft Technology Fellowship awarded to the third author in 2013.

Funders	Funder number
Nederlandse Organisatie voor Wetenschappelijk Onderzoek	015.008.054, 016.138.314

Keywords

Algebraic proof theory
Bilattice logic
Cut elimination
Display calculi
Many-valued logics
Multi-type calculi
Non-classical logics
Sequent calculi
Substructural logics

Access to Document

10.1016/j.fss.2018.05.007

Persistent URL (handle)

Persistent link

Cite this

@article{2b2dfbf8180148bd8cbc4b8cb5b20551,

title = "Bilattice logic properly displayed",

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.",

keywords = "Algebraic proof theory, Bilattice logic, Cut elimination, Display calculi, Many-valued logics, Multi-type calculi, Non-classical logics, Sequent calculi, Substructural logics",

author = "Giuseppe Greco and Fei Liang and Alessandra Palmigiano and Umberto Rivieccio",

year = "2019",

month = may,

day = "15",

doi = "10.1016/j.fss.2018.05.007",

language = "English",

volume = "363",

pages = "138--155",

journal = "Fuzzy Sets and Systems",

issn = "0165-0114",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Bilattice logic properly displayed

AU - Greco, Giuseppe

AU - Liang, Fei

AU - Palmigiano, Alessandra

AU - Rivieccio, Umberto

PY - 2019/5/15

Y1 - 2019/5/15

N2 - 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.

AB - 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.

KW - Algebraic proof theory

KW - Bilattice logic

KW - Cut elimination

KW - Display calculi

KW - Many-valued logics

KW - Multi-type calculi

KW - Non-classical logics

KW - Sequent calculi

KW - Substructural logics

UR - http://www.scopus.com/inward/record.url?scp=85047217089&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85047217089&partnerID=8YFLogxK

U2 - 10.1016/j.fss.2018.05.007

DO - 10.1016/j.fss.2018.05.007

M3 - Article

AN - SCOPUS:85047217089

SN - 0165-0114

VL - 363

SP - 138

EP - 155

JO - Fuzzy Sets and Systems

JF - Fuzzy Sets and Systems

ER -

Bilattice logic properly displayed

Abstract

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this