Yaroslav I. Petrukhin

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Correspondence Analysis

Inference Rules

Top Venues

J. Appl. Non Class. Logics

Logica Universalis

J. Log. Lang. Inf.

Publications

Yaroslav I. Petrukhin
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics. J. Log. Lang. Inf. 33 (2) (2024)
Oleg Grigoriev, Yaroslav I. Petrukhin
Basic modal congruent and monotonic multilattice logics. J. Log. Comput. 33 (6) (2023)
Andrzej Indrzejczak, Yaroslav I. Petrukhin
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus. CADE (2023)
Yaroslav I. Petrukhin, Vasily Shangin
Non-transitive Correspondence Analysis. J. Log. Lang. Inf. 32 (2) (2023)
Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin
Axiomatizing a Minimal Discussive Logic. Stud Logica 111 (5) (2023)
Yaroslav I. Petrukhin
Provability multilattice logic. J. Appl. Non Class. Logics 32 (4) (2022)
Yaroslav I. Petrukhin
Normalisation for Some Infectious Logics and Their Relatives. NCL (2022)
Yaroslav I. Petrukhin, Vasilyi Shangin
Correspondence Analysis for Some Fragments of Classical Propositional Logic. Logica Universalis 15 (1) (2021)
Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin
Simplified Kripke-Style Semantics for Some Normal Modal Logics. Stud Logica 108 (3) (2020)
Yaroslav I. Petrukhin
Axiomatization of non-associative generalisations of Hájek's BL and psBL. J. Appl. Non Class. Logics 30 (1) (2020)
Alex Belikov, Yaroslav I. Petrukhin
Exactly true and non-falsity logics meeting infectious ones. J. Appl. Non Class. Logics 30 (2) (2020)
Yaroslav I. Petrukhin, Vasily Shangin
On Vidal's trivalent explanations for defective conditional in mathematics. J. Appl. Non Class. Logics 29 (1) (2019)
Oleg Grigoriev, Yaroslav I. Petrukhin
Two proofs of the algebraic completeness theorem for multilattice logic. J. Appl. Non Class. Logics 29 (4) (2019)
Yaroslav I. Petrukhin, Michal Zawidzki
From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics. AI*IA (2019)
Yaroslav I. Petrukhin
Natural Deduction for Post's Logics and their Duals. Logica Universalis 12 (1-2) (2018)
Yaroslav I. Petrukhin
Generalized Correspondence Analysis for Three-Valued Logics. Logica Universalis 12 (3-4) (2018)
Yaroslav I. Petrukhin
Natural Deduction for Fitting's Four-Valued Generalizations of Kleene's Logics. Logica Universalis 11 (4) (2017)
Yaroslav I. Petrukhin, Vasily Shangin
Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox. Rev. Symb. Log. 10 (4) (2017)