| Publication | Date of Publication | Type |
|---|
| 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 | 2024-09-27 | Paper |
| On paracomplete versions of Jaśkowski's discussive logic | 2024-06-14 | Paper |
| A modification of Visser's formal logic and its connection with Solovay's modal logic | 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 | 2024-02-08 | Paper |
| Axiomatizing a minimal discussive logic | 2023-10-26 | Paper |
| Non-transitive correspondence analysis | 2023-06-14 | Paper |
| Provability multilattice logic | 2023-05-17 | Paper |
| S5-style non-standard modalities in a hypersequent framework | 2022-09-21 | Paper |
| Modal multilattice logics with Tarski, Kuratowski, and Halmos operators | 2021-12-02 | Paper |
| Normalisation for some quite interesting many-valued logics | 2021-12-02 | Paper |
| The logic of internal rational agent | 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 | 2021-06-25 | Paper |
| Correction | 2021-06-25 | Paper |
| Correspondence analysis for some fragments of classical propositional logic | 2021-05-05 | Paper |
| Correspondence analysis and automated proof-searching for first degree entailment | 2021-04-20 | Paper |
| On a multilattice analogue of a hypersequent S5 calculus | 2021-01-08 | Paper |
| Simplified Kripke-style semantics for some normal modal logics | 2020-06-09 | Paper |
| Axiomatization of non-associative generalisations of Hájek's BL and psBL | 2020-02-24 | Paper |
| Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis | 2020-02-11 | Paper |
| Two proofs of the algebraic completeness theorem for multilattice logic | 2019-11-18 | Paper |
| Functional Completeness in CPL via Correspondence Analysis | 2019-10-31 | Paper |
| The method of Socratic proofs meets correspondence analysis | 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 | 2019-08-21 | Paper |
| On Vidal's trivalent explanations for defective conditional in mathematics | 2019-05-08 | Paper |
| Analytic tableaux for intuitionistic first degree entailment | 2019-03-11 | Paper |
| Generalized correspondence analysis for three-valued logics | 2018-12-12 | Paper |
| Natural deduction for three-valued regular logics | 2018-09-20 | Paper |
| Natural Deduction for Four-Valued both Regular and Monotonic Logics | 2018-09-20 | Paper |
| Natural deduction for Post's logics and their duals | 2018-08-06 | Paper |
| The natural deduction systems for the three-valued nonsense logics Z and E | 2018-06-26 | Paper |
| Automated correspondence analysis for the binary extensions of the logic of paradox | 2018-01-17 | Paper |
| Natural deduction for Fitting's four-valued generalizations of Kleene's logics | 2018-01-12 | Paper |
| Natural deduction system for three-valued Heyting's logic | 2017-09-08 | Paper |
| Correspondence analysis for first degree entailment | 2017-05-08 | Paper |
