Journal of Applied Non-classical logicsжурнал

Редколлегия

---

• Шехтман Валентин Борисович, с 10 июня 2005

Статьи, опубликованные в журнале

---

• • 2022 Provability multilattice logic
  • Petrukhin Yaroslav
  • в журнале Journal of Applied Non-classical logics, том 32, № 4, с. 239-272 DOI
• 
  • 2020 Axiomatization of non-associative generalisations of Hájek's BL and psBL
  • Petrukhin Yaroslav
  • в журнале Journal of Applied Non-classical logics, том 30, № 1, с. 1-15 DOI
• 
  • 2020 Correction
  • Alex Belikov, Yaroslav Petrukhin
  • в журнале Journal of Applied Non-classical logics, том 30, № 2, с. I-II DOI
• 
  • 2020 Exactly true and non-falsity logics meeting infectious ones
  • Alex Belikov, Yaroslav Petrukhin
  • в журнале Journal of Applied Non-classical logics, том 30, № 2, с. 93-122 DOI
• 
  • 2019 On Vidal's trivalent explanations for defective conditional in mathematics
  • Petrukhin Yaroslav, Shangin Vasily
  • в журнале Journal of Applied Non-classical logics, том 29, № 1, с. 64-77 DOI
• 
  • 2019 Two proofs of the algebraic completeness theorem for multilattice logic
  • Grigoriev Oleg, Petrukhin Yaroslav
  • в журнале Journal of Applied Non-classical logics, том 29, № 4, с. 358-381 DOI
• 
  • 2018 Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss
  • Kozhemiachenko Daniil
  • в журнале Journal of Applied Non-classical logics, том 28, № 4, с. 389-413 DOI
• 
  • 2014 Trivalent logics arising from L-models for the Lambek calculus with constants
  • Kuznetsov S.L.
  • в журнале Journal of Applied Non-classical logics, том 14, № 1-2, с. 132-137 DOI
• 
  • 2013 On deductive bases for paraconsistent answer set semantics
  • Mayatskiy N.V., Odintsov S.P.
  • в журнале Journal of Applied Non-classical logics, том 23, № 1-2, с. 131-146 DOI
• 
  • 2008 Complexity of intuitionistic propositional logic and its fragments
  • Rybakov M.N.
  • в журнале Journal of Applied Non-classical logics, том 18, № 2–3, с. 267-292 DOI
• 
  • 2007 Complexity of finite-variable fragments of EXPTIME-complete logics
  • Rybakov M.N.
  • в журнале Journal of Applied Non-classical logics, том 17, № 3, с. 359-382 DOI
• 
  • 2007 Operations on proofs and labels
  • Rubtsova N., Yavorskaya T.
  • в журнале Journal of Applied Non-classical logics, том 17, № 3, с. 283-316 DOI
• 
  • 1999 "Everywhere" and "Here"
  • Shehtman Valentin
  • в журнале Journal of Applied Non-classical logics, том 9, № 2-3, с. 369-379 DOI
• 
  • 1999 Realization of intuitionistic logic by proof polynomials
  • Artemov S.N.
  • в журнале Journal of Applied Non-classical logics, том 9, № 2-3, с. 285-301 DOI
• 
  • 1999 Remark on a finite axiomatization of finite intermediate propositional logics
  • Skvortsov D.
  • в журнале Journal of Applied Non-classical logics, том 9, № 2-3, с. 381-386 DOI