| Publication | Date of Publication | Type |
|---|
Interpolation in H\'ajek's Basic Logic
(available as arXiv preprint) | N/A | Paper |
| Agent interpolation in distributed systems | 2026-06-23 | Paper |
Amalgamation in semilinear residuated lattices
Studia Logica | 2026-03-12 | Paper |
Interpolation in the Inquisitive Hierarchy
(available as arXiv preprint) | 2026-01-01 | Paper |
Interpolation in Hájek's basic logic
Annals of Pure and Applied Logic | 2025-07-27 | Paper |
Semiconic idempotent logic. II: Beth definability and deductive interpolation
Annals of Pure and Applied Logic | 2025-01-08 | Paper |
Algebraic Proof Theory for Infinitary Action Logic
(available as arXiv preprint) | 2025-01-01 | Paper |
Agent Interpolation for Knowledge
(available as arXiv preprint) | 2025-01-01 | Paper |
Revisiting Interpolation in Relevant Logics
(available as arXiv preprint) | 2025-01-01 | Paper |
Interpolation in Non-Classical Logics
(available as arXiv preprint) | 2025-01-01 | Paper |
Maehara Interpolation in Extensions of R-mingle
(available as arXiv preprint) | 2025-01-01 | Paper |
| Negative translations of orthomodular lattices and their logic | 2024-11-29 | Paper |
Interpolation in linear logic and related systems
ACM Transactions on Computational Logic | 2024-11-12 | Paper |
Semiconic idempotent logic. I: Structure and local deduction theorems.
Annals of Pure and Applied Logic | 2024-05-14 | Paper |
Transfer theorems for finitely subdirectly irreducible algebras
Journal of Algebra | 2024-01-04 | Paper |
Amalgamation in Semilinear Residuated Lattices
(available as arXiv preprint) | 2024-01-01 | Paper |
| Interpolation and the Exchange Rule | 2023-10-23 | Paper |
| Interpolation in Linear Logic and Related Systems | 2023-05-08 | Paper |
Some modal and temporal translations of generalized basic logic
(available as arXiv preprint) | 2023-03-30 | Paper |
Interpolation and the Exchange Rule
(available as arXiv preprint) | 2023-01-01 | Paper |
| Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation | 2022-08-20 | Paper |
Priestley duality for MV-algebras and beyond
Forum Mathematicum | 2022-04-04 | Paper |
Poset products as relational models
Studia Logica | 2022-03-15 | Paper |
Some modal and temporal translations of generalized basic logic
(available as arXiv preprint) | 2021-06-10 | Paper |
| Negative Translations of Orthomodular Lattices and Their Logic | 2021-06-07 | Paper |
Poset Products as Relational Models
(available as arXiv preprint) | 2020-12-02 | Paper |
Priestley duality for MV-algebras and beyond
(available as arXiv preprint) | 2020-02-28 | Paper |
Distributive laws in residuated binars
Algebra Universalis | 2019-11-22 | Paper |
Residuation algebras with functional duals
Algebra Universalis | 2019-09-27 | Paper |
Residuation algebras with functional duals
Algebra Universalis | 2019-09-27 | Paper |
A topological approach to MTL-algebras
Algebra Universalis | 2019-09-12 | Paper |
Categories of models of \(\mathbf{R}\)-mingle
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Distributive laws in residuated binars
(available as arXiv preprint) | 2019-01-06 | Paper |
Categories of Models of R-Mingle
(available as arXiv preprint) | 2017-10-11 | Paper |
