Bilattice logic properly displayed

Journal article (2019)

Authors

Giuseppe Greco Universiteit Utrecht

Fei Liang Student

A. Palmigiano University of Johannesburg,

Umberto Rivieccio Universidade Federal do Rio Grande do Norte

DOI: https://doi.org/10.1016/j.fss.2018.05.007

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

To reference this document use:

http://resolver.tudelft.nl/uuid:1659c09d-9b61-4323-8ab3-7dbc4844298f

More Info

expand_more

Published Date

2019

Language

English

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.

Files

BilatticeLogicProperlyDisplaye... (.pdf)

(.pdf | 0.265 Mb)

- Embargo expired in 26-02-2021