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

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.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-009-9181-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,514
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
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

Sequent Calculi for Some Trilattice Logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.

View all 12 citations / Add more citations

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 index
2016-02-04

Total views
14 ( #656,359 of 2,348,274 )

Recent downloads (6 months)
2 ( #329,111 of 2,348,274 )

How can I increase my downloads?

Downloads

My notes