Graduate studies at Western
Logica Universalis 4 (1):41-66 (2010)
|Abstract||In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular finitely-valued logics (when singularity determinants consist of a variable alone) and conventional Gentzen-style (i.e., two-place sequent) calculi suggested in Pynko (Bull Sect Logic 33(1):23–32, 2004) for finitely-valued logics with equality determinant. In addition, it provides a universal method of constructing Tait-style (i.e., one-place sequent) calculi for finitely-valued logics with singularity determinant (in particular, for Łukasiewicz finitely-valued logics) that fits the well-known Tait calculus (Lecture Notes in Mathematics, Springer, Berlin, 1968) for the classical logic. We properly extend main results of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) and explore calculi under consideration within the framework of Sect. 7 of Pynko (Arch Math Logic 45:267–305, 2006), generalizing the results obtained in Sect. 7.5 of Pynko (Arch Math Logic 45:267–305 2006) for two-place sequent calculi associated with finitely-valued logics with equality determinant according to Pynko (Bull Sect Logic 33(1):23–32, 2004). We also exemplify our universal elaboration by applying it to some denumerable families of well-known finitely-valued logics.|
|Keywords||Many-place sequent calculus finitely-valued logic many-place matrix singularity determinant|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach (1998). Labeled Calculi and Finite-Valued Logics. Studia Logica 61 (1):7-33.
Charles Grady Morgan & Francis Jeffry Pelletier (1977). Some Notes Concerning Fuzzy Logics. Linguistics and Philosophy 1 (1):79 - 97.
Arnon Avron, Jonathan Ben-Naim & Beata Konikowska (2007). Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis 1 (1):41-70.
A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Alexej P. Pynko (2009). Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis 3 (1):59-94.
Added to index2010-02-10
Total downloads19 ( #71,344 of 739,080 )
Recent downloads (6 months)1 ( #61,778 of 739,080 )
How can I increase my downloads?