Switch to: References

Add citations

You must login to add citations.
  1. Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations.Alexej P. Pynko - 2020 - Bulletin of the Section of Logic 49 (4):401-437.
    Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique conjunctive matrix ℳ4 with exactly two distinguished values over an expansion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.