Yaroslav I. Petrukhin

26 papers A 1Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
On a Second-Order Version of Russellian Theory of Definite Descriptions.
JELIA (2)
Yaroslav I. Petrukhin
2025 J jnl
On a Second-Order Version of Russellian Theory of Definite Descriptions.
CoRR
Yaroslav I. Petrukhin
2025 J jnl
Resolving Radzki's issues with Łukasiewicz logics' axiomatics via correspondence analysis.
J. Appl. Non Class. Logics
Yaroslav I. Petrukhin, Vasily Shangin
2024 — conf
A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic.
NCL
Yaroslav I. Petrukhin
2024 J jnl
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.
J. Log. Lang. Inf.
Yaroslav I. Petrukhin
2024 — conf
Bisequent Calculi for Neutral Free Logic with Definite Descriptions.
ARQNL@IJCAR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2024 J jnl
Bisequent Calculi for Neutral Free Logic with Definite Descriptions.
CoRR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2024 J jnl
Uniform Cut-free Bisequent Calculi for Three-valued Logics.
CoRR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2023 A conf
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.
CADE
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2023 J jnl
Axiomatizing a Minimal Discussive Logic.
Stud Logica
Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin
2023 J jnl
Basic modal congruent and monotonic multilattice logics.
J. Log. Comput.
Oleg Grigoriev, Yaroslav I. Petrukhin
2023 J jnl
Non-transitive Correspondence Analysis.
J. Log. Lang. Inf.
Yaroslav I. Petrukhin, Vasily Shangin
2022 — conf
Normalisation for Some Infectious Logics and Their Relatives.
NCL
Yaroslav I. Petrukhin
2022 J jnl
Provability multilattice logic.
J. Appl. Non Class. Logics
Yaroslav I. Petrukhin
2021 J jnl
Correspondence Analysis for Some Fragments of Classical Propositional Logic.
Logica Universalis
Yaroslav I. Petrukhin, Vasilyi Shangin
2021 J jnl
The Logic of Internal Rational Agent.
Australas. J. Log.
Yaroslav I. Petrukhin
2020 J jnl
Axiomatization of non-associative generalisations of Hájek's BL and psBL.
J. Appl. Non Class. Logics
Yaroslav I. Petrukhin
2020 J jnl
Exactly true and non-falsity logics meeting infectious ones.
J. Appl. Non Class. Logics
Alex Belikov, Yaroslav I. Petrukhin
2020 J jnl
Simplified Kripke-Style Semantics for Some Normal Modal Logics.
Stud Logica
Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin
2019 — conf
From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics.
AI*IA
Yaroslav I. Petrukhin, Michal Zawidzki
2019 J jnl
On Vidal's trivalent explanations for defective conditional in mathematics.
J. Appl. Non Class. Logics
Yaroslav I. Petrukhin, Vasily Shangin
2019 J jnl
Two proofs of the algebraic completeness theorem for multilattice logic.
J. Appl. Non Class. Logics
Oleg Grigoriev, Yaroslav I. Petrukhin
2018 J jnl
Generalized Correspondence Analysis for Three-Valued Logics.
Logica Universalis
Yaroslav I. Petrukhin
2018 J jnl
Natural Deduction for Post's Logics and their Duals.
Logica Universalis
Yaroslav I. Petrukhin
2017 J jnl
Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox.
Rev. Symb. Log.
Yaroslav I. Petrukhin, Vasily Shangin
2017 J jnl
Natural Deduction for Fitting's Four-Valued Generalizations of Kleene's Logics.
Logica Universalis
Yaroslav I. Petrukhin