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: 93,745

External links

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

Through your library

Analytics

Added to PP
2009-04-04

Downloads
71 (#80,786)

6 months
18 (#821,922)

Historical graph of downloads
How can I increase my downloads?