Studia Logica 61 (1):7-33 (1998)
| Authors |
|
| 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.
|
| Keywords | finite-valued logic labeled calculus signed formula sets-as-signs |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1005022012721 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.
Expanding the Universe of Universal Logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.
View all 10 citations / Add more citations
Similar books and articles
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.
Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
An Axiomatization of the Finite-Valued Łukasiewicz Calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Many-Place Sequent Calculi for Finitely-Valued Logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Analytics
Added to PP index
2009-01-28
Total views
122 ( #75,824 of 2,348,328 )
Recent downloads (6 months)
8 ( #83,766 of 2,348,328 )
2009-01-28
Total views
122 ( #75,824 of 2,348,328 )
Recent downloads (6 months)
8 ( #83,766 of 2,348,328 )
How can I increase my downloads?
Downloads
