Finiteness in infinite-valued łukasiewicz logic
Journal of Logic, Language and Information 9 (1):5-29 (2000)
| Abstract | In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued ukasiewicz logic to a suitable m-valued ukasiewicz logic m , where m only depends on the length of the formulas to be proved. Using geometrical arguments we find a better upper bound for the least integer m such that a formula is valid in if and only if it is also valid in m. We also reduce the notion of logical consequence in to the same notion in a suitable finite set of finite-valued ukasiewicz logics. Finally, we define an analytic and internal sequent calculus for infinite-valued ukasiewicz logic | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLuiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Daniele Mundici (2011). Consequence and Interpolation in Łukasiewicz Logic. Studia Logica 99 (1-3):269-278.
Roman Tuziak (1988). An Axiomatization of the Finite-Valued Łukasiewicz Calculus. Studia Logica 47 (1):49 - 55.
Nicola Olivetti (2003). Tableaux for Łukasiewicz Infinite-Valued Logic. Studia Logica 73 (1):81 - 111.
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.
Josep Maria Font & Petr Hájek (2002). On Łukasiewicz's Four-Valued Modal Logic. Studia Logica 70 (2):157-182.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,014 of 549,065 )Recent downloads (6 months)1 ( #63,185 of 549,065 )How can I increase my downloads? |
My notes
Discussion
