On Axiomatizing Shramko-Wansing’s Logic

Studia Logica 91 (3):407-428 (2009)
  Copy   BIBTEX

Abstract

This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
From the editors.Heinrich Wansing, Sergei Odintsov & Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):153-157.
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Entailment relations and/as truth values.Yaroslav Shramko & Heinrich Wansing - 2007 - Bulletin of the Section of Logic 36 (3/4):131-143.
Truth Values. Part I.Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):429-455.

Analytics

Added to PP
2016-02-04

Downloads
17 (#641,389)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?