Switch to: References

Add citations

You must login to add citations.
  1. Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics.Alexej P. Pynko - 2015 - Bulletin of the Section of Logic 44 (3/4):149-153.
    The primary objective of this paper, which is an addendum to the author’s [8], is to apply the general study of the latter to Łukasiewicz’s n-valued logics [4]. The paper provides an analytical expression of a 2(n−1)-place sequent calculus (in the sense of [10, 9]) with the cut-elimination property and a strong completeness with respect to the logic involved which is most compact among similar calculi in the sense of a complexity of systems of premises of introduction rules. This together (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark