All Stories

  1. Two proofs of the algebraic completeness theorem for multilattice logic

    Article • Journal of Applied Non-Classical Logics, August 2019, Taylor & Francis

    Yaroslav Petrukhin

  2. On Vidal's trivalent explanations for defective conditional in mathematics

    Article • Journal of Applied Non-Classical Logics, December 2018, Taylor & Francis

    Yaroslav Petrukhin, Vasiliy shangin

  3. AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX

    Article • The Review of Symbolic Logic, July 2017, Cambridge University Press

    Vasiliy shangin, Yaroslav Petrukhin

  4. Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

    Article • Logica Universalis, May 2017, Springer Science + Business Media

    Yaroslav Petrukhin

  5. Natural deduction system for three-valued Heyting’s logic

    Article • Moscow University Mathematics Bulletin, May 2017, Allerton Press

    Yaroslav Petrukhin

  6. Natural Deduction for Four-Valued both Regular and Monotonic Logics

    Article • Logic and Logical Philosophy, January 2017, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Yaroslav Petrukhin

  7. Natural deduction for three-valued regular logics

    Article • Logic and Logical Philosophy, August 2016, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Yaroslav Petrukhin