On Axiomatizing Shramko-Wansing’s Logic

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

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.
Keywords generalized truth value  twist-structure  axiomatics
Categories (categorize this paper)
DOI 10.1007/s11225-009-9181-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,865
Through your library

References found in this work BETA

Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.

View all 7 references / Add more references

Citations of this work BETA

Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
Representation of Interlaced Trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.

View all 14 citations / Add more citations

Similar books and articles


Added to PP index

Total views
43 ( #194,576 of 2,266,148 )

Recent downloads (6 months)
7 ( #180,844 of 2,266,148 )

How can I increase my downloads?


My notes

Sign in to use this feature