Labeled calculi and finite-valued logics

Studia Logica 61 (1):7-33 (1998)
Download Edit this record How to cite View on PhilPapers
Abstract
A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the number of truth values, and it is shown that this bound is tight.
Reprint years
2004
PhilPapers/Archive ID
BAALCA
Revision history
Archival date: 2017-08-13
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
The Logics of Strict-Tolerant Logic.Barrio, Eduardo; Rosenblatt, Lucas & Tajer, Diego
Hypersequent and Display Calculi – a Unified Perspective.Ciabattoni, Agata; Ramanayake, Revantha & Wansing, Heinrich
Truth-Values as Labels: A General Recipe for Labelled Deduction.Sernadas, Cristina; Viganò, Luca; Rasga, João & Sernadas, Amílcar

View all 6 citations / Add more citations

Added to PP index
2009-01-28

Total views
70 ( #25,145 of 37,252 )

Recent downloads (6 months)
25 ( #14,196 of 37,252 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.