Tableaux for łukasiewicz infinite-valued logic
Studia Logica 73 (1):81 - 111 (2003)
| Abstract | In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L . The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L validity by reducing the check of branch closure to linear programming. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJosep Maria Font & Petr Hájek (2002). On Łukasiewicz's Four-Valued Modal Logic. Studia Logica 70 (2):157-182.
Walter A. Carnielli (1987). Systematization of Finite Many-Valued Logics Through the Method of Tableaux. Journal of Symbolic Logic 52 (2):473-493.
C. G. Fermüller (2008). Dialogue Games for Many-Valued Logics — an Overview. Studia Logica 90 (1):43 - 68.
Andreja Prijatelj (1996). Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics. Studia Logica 57 (2-3):437 - 456.
Vladimir L. Vasyukov (1993). The Completeness of the Factor Semantics for Łukasiewicz's Infinite-Valued Logics. Studia Logica 52 (1):143 - 167.
Daniele Mundici (2011). Consequence and Interpolation in Łukasiewicz Logic. Studia Logica 99 (1-3):269-278.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #122,917 of 548,973 )Recent downloads (6 months)2 ( #37,438 of 548,973 )How can I increase my downloads? |
My notes
Discussion
