| Publication | Date of Publication | Type |
|---|
Unified deductive systems: an outline
Logica Universalis | 2024-01-10 | Paper |
On finitely-generated Johansson algebras
Order | 2023-07-18 | Paper |
Yankov Characteristic Formulas (An Algebraic Account)
Outstanding Contributions to Logic | 2023-04-05 | Paper |
V. Yankov’s Contributions to Propositional Logic
Outstanding Contributions to Logic | 2023-04-05 | Paper |
Deductive systems with unified multiple-conclusion rules
Logical Investigations | 2023-01-12 | Paper |
Consequence Relations
| 2022-10-24 | Paper |
Consequence Relations An Introduction to the Tarski-Lindenbaum Method
| 2021-06-21 | Paper |
Hereditarily structurally complete positive logics
The Review of Symbolic Logic | 2020-08-26 | Paper |
Deductive systems with multiple-conclusion rules and the disjunction property
Axioms | 2020-03-24 | Paper |
Characteristic formulas over intermediate logics
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
A Generalization of Maksimova’s Criterion for the Disjunction Property
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
One-generated \textsf{WS5}-algebras
| 2019-07-24 | Paper |
Lindenbaum Method
| 2019-01-16 | Paper |
Projective algebras and primitive subquasivarieties in varieties with factor congruences
Algebra Universalis | 2018-10-30 | Paper |
Hereditarily structurally complete superintuitionistic deductive systems
Studia Logica | 2018-10-02 | Paper |
Admissibility in positive logics
Logica Universalis | 2018-01-12 | Paper |
Multiple conclusion rules in logics with the disjunction property
Logical Foundations of Computer Science | 2017-07-21 | Paper |
A meta-logic of inference rules: syntax
Logic and Logical Philosophy | 2017-05-18 | Paper |
Algebraic logic perspective on Prucnal's substitution
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Lindenbaum method (propositional language)
| 2016-09-23 | Paper |
Characteristic inference rules
Logica Universalis | 2015-04-29 | Paper |
{\L}-Axiomatizability in intermediate and normal modal logics
| 2014-07-22 | Paper |
Characteristic Formulas 50 Years Later (An Algebraic Account)
| 2014-07-22 | Paper |
Jankov-style formulas and refutation systems
| 2014-04-25 | Paper |
Characteristic formulas of partial Heyting algebras
Logica Universalis | 2013-08-06 | Paper |
Not every splitting Heyting or interior algebra is finitely presentable
Studia Logica | 2012-10-01 | Paper |
Metalogic of intuitionistic propositional calculus
Notre Dame Journal of Formal Logic | 2010-12-01 | Paper |
Structural completeness in quasivarieties
| N/A | Paper |
