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, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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
117 (#189,113)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?