| Publication | Date of Publication | Type |
|---|
| On a second-order version of Russellian theory of definite descriptions | 2025-12-15 | Paper |
Resolving Radzki’s issues with Łukasiewicz logics’ axiomatics via correspondence analysis
Journal of Applied Non-Classical Logics | 2025-12-08 | Paper |
| Normalisation for some infectious logics and their relatives | 2025-01-09 | Paper |
| Non-deterministic logic of generalized classical truth values | 2024-10-24 | Paper |
Algebraic completeness of connexive and bi-intuitionistic multilattice logics
Journal of Logic, Language and Information | 2024-09-27 | Paper |
On paracomplete versions of Jaśkowski's discussive logic
Bulletin of the Section of Logic | 2024-06-14 | Paper |
A modification of Visser's formal logic and its connection with Solovay's modal logic
Russian Mathematics | 2024-06-03 | Paper |
| A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus | 2024-04-26 | Paper |
| Nelsonian counterparts of Visser's logics | 2024-04-03 | Paper |
Basic modal congruent and monotonic multilattice logics
Journal Of Logic And Computation | 2024-02-08 | Paper |
Axiomatizing a minimal discussive logic
Studia Logica | 2023-10-26 | Paper |
Non-transitive correspondence analysis
Journal of Logic, Language and Information | 2023-06-14 | Paper |
Provability multilattice logic
Journal of Applied Non-Classical Logics | 2023-05-17 | Paper |
S5-style non-standard modalities in a hypersequent framework
Logic and Logical Philosophy | 2022-09-21 | Paper |
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
Logic and Logical Philosophy | 2021-12-02 | Paper |
Normalisation for some quite interesting many-valued logics
Logic and Logical Philosophy | 2021-12-02 | Paper |
The logic of internal rational agent
The Australasian Journal of Logic | 2021-07-06 | Paper |
| Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics | 2021-07-02 | Paper |
| Correspondence analysis for logic of rational agent | 2021-07-01 | Paper |
| Natural deduction for Yuriev's logic | 2021-07-01 | Paper |
Exactly true and non-falsity logics meeting infectious ones
Journal of Applied Non-Classical Logics | 2021-06-25 | Paper |
Correction
Journal of Applied Non-Classical Logics | 2021-06-25 | Paper |
Correspondence analysis for some fragments of classical propositional logic
Logica Universalis | 2021-05-05 | Paper |
Correspondence analysis and automated proof-searching for first degree entailment
European Journal of Mathematics | 2021-04-20 | Paper |
On a multilattice analogue of a hypersequent S5 calculus
Logic and Logical Philosophy | 2021-01-08 | Paper |
Simplified Kripke-style semantics for some normal modal logics
Studia Logica | 2020-06-09 | Paper |
Axiomatization of non-associative generalisations of Hájek's BL and psBL
Journal of Applied Non-Classical Logics | 2020-02-24 | Paper |
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
Logic and Logical Philosophy | 2020-02-11 | Paper |
Two proofs of the algebraic completeness theorem for multilattice logic
Journal of Applied Non-Classical Logics | 2019-11-18 | Paper |
Functional Completeness in CPL via Correspondence Analysis
Bulletin of the Section of Logic | 2019-10-31 | Paper |
The method of Socratic proofs meets correspondence analysis
Bulletin of the Section of Logic | 2019-10-31 | Paper |
| Natural three-valued logics characterized by natural deduction | 2019-10-28 | Paper |
Deduction normalization theorem for Sette's logic and its modifications
Moscow University Mathematics Bulletin | 2019-08-21 | Paper |
On Vidal's trivalent explanations for defective conditional in mathematics
Journal of Applied Non-Classical Logics | 2019-05-08 | Paper |
Analytic tableaux for intuitionistic first degree entailment
Logical Investigations | 2019-03-11 | Paper |
Generalized correspondence analysis for three-valued logics
Logica Universalis | 2018-12-12 | Paper |
Natural deduction for three-valued regular logics
Logic and Logical Philosophy | 2018-09-20 | Paper |
Natural Deduction for Four-Valued both Regular and Monotonic Logics
Logic and Logical Philosophy | 2018-09-20 | Paper |
Natural deduction for Post's logics and their duals
Logica Universalis | 2018-08-06 | Paper |
The natural deduction systems for the three-valued nonsense logics Z and E
Moscow University Mathematics Bulletin | 2018-06-26 | Paper |
Automated correspondence analysis for the binary extensions of the logic of paradox
The Review of Symbolic Logic | 2018-01-17 | Paper |
Natural deduction for Fitting's four-valued generalizations of Kleene's logics
Logica Universalis | 2018-01-12 | Paper |
Natural deduction system for three-valued Heyting's logic
Moscow University Mathematics Bulletin | 2017-09-08 | Paper |
| Correspondence analysis for first degree entailment | 2017-05-08 | Paper |
