Download PDF - Axiomatization of a Basic Logic of Logical BilatticesCC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0, Opens in new tab

ArticleOriginal scientific text

Title

Axiomatization of a Basic Logic of Logical Bilattices

Authors

Abstract

A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.

Keywords

ENG
logical bilattice, sequent calculus
Bulletin of the Section of Logic
2016/45/2
Export to PBN, Opens in new tab
Main language of publication
English
Published
2016

DOI: 10.18778/0138-0680.45.2.02

Humanities