| Publication | Date of Publication | Type |
|---|
| A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus | 2024-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6130419 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4999723 | 2021-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997922 | 2021-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997950 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5240589 | 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 |
| Аналитические таблицы для интуиционистского аналога FDE | 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 |
| https://portal.mardi4nfdi.de/entity/Q2981255 | 2017-05-08 | Paper |
