Yaroslav I. Petrukhin

According to our database, Yaroslav I. Petrukhin authored at least 21 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

On a Second-Order Version of Russellian Theory of Definite Descriptions.

Yaroslav I. Petrukhin

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.

Yaroslav I. Petrukhin

J. Log. Lang. Inf., August, 2024

Uniform Cut-free Bisequent Calculi for Three-valued Logics.

Andrzej Indrzejczak, Yaroslav I. Petrukhin

CoRR, 2024

Bisequent Calculi for Neutral Free Logic with Definite Descriptions.

Andrzej Indrzejczak, Yaroslav I. Petrukhin

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024

2023

Axiomatizing a Minimal Discussive Logic.

Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav I. Petrukhin, Vasily Shangin

Stud Logica, October, 2023

Basic modal congruent and monotonic multilattice logics.

Oleg Grigoriev, Yaroslav I. Petrukhin

J. Log. Comput., August, 2023

Non-transitive Correspondence Analysis.

Yaroslav I. Petrukhin, Vasily Shangin

J. Log. Lang. Inf., 2023

A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.

Andrzej Indrzejczak, Yaroslav I. Petrukhin

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Provability multilattice logic.

Yaroslav I. Petrukhin

J. Appl. Non Class. Logics, October, 2022

Normalisation for Some Infectious Logics and Their Relatives.

Yaroslav I. Petrukhin

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

2021

Correspondence Analysis for Some Fragments of Classical Propositional Logic.

Yaroslav I. Petrukhin, Vasilyi Shangin

Logica Universalis, 2021

2020

Simplified Kripke-Style Semantics for Some Normal Modal Logics.

Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin

Stud Logica, 2020

Axiomatization of non-associative generalisations of Hájek's BL and psBL.

Yaroslav I. Petrukhin

J. Appl. Non Class. Logics, 2020

Exactly true and non-falsity logics meeting infectious ones.

Alex Belikov, Yaroslav I. Petrukhin

J. Appl. Non Class. Logics, 2020

2019

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

Yaroslav I. Petrukhin, Vasily Shangin

J. Appl. Non Class. Logics, 2019

Two proofs of the algebraic completeness theorem for multilattice logic.

Oleg Grigoriev, Yaroslav I. Petrukhin

J. Appl. Non Class. Logics, 2019

From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics.

Yaroslav I. Petrukhin, Michal Zawidzki

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Generalized Correspondence Analysis for Three-Valued Logics.

Yaroslav I. Petrukhin

Logica Universalis, 2018

Natural Deduction for Post's Logics and their Duals.

Yaroslav I. Petrukhin

Logica Universalis, 2018

2017

Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox.

Yaroslav I. Petrukhin, Vasily Shangin

Rev. Symb. Log., 2017

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

Yaroslav I. Petrukhin

Logica Universalis, 2017