Alex Citkin

20 papers B 1Misc 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
On Finitely-Generated Johansson Algebras.
Order
Alex Citkin
2023 — conf
On Splittings in Lattices of Quasivarieties of Heyting Algebras.
Tbilisi
Alex Citkin
2023 J jnl
Preface to the Rejection Special Issue.
Logica Universalis
Alex Citkin, Alexei Y. Muravitsky
2023 J jnl
Unified Deductive Systems: An Outline.
Logica Universalis
Alex Citkin
2020 J jnl
Deductive Systems in Traditional and Modern Logic.
Axioms
Alex Citkin, Urszula Wybraniec-Skardowska
2020 J jnl
Hereditarily Structurally Complete positive Logics.
Rev. Symb. Log.
Alex Citkin
2019 J jnl
Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property.
Axioms
Alex Citkin
2018 J jnl
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.
Stud Logica
Alex Citkin
2018 B conf
One-Generated WS5-Algebras.
Advances in Modal Logic
Alex Citkin
2017 J jnl
Admissibility in Positive Logics.
Logica Universalis
Alex Citkin
2016 J jnl
Algebraic Logic Perspective on Prucnal's Substitution.
Notre Dame J. Formal Log.
Alex Citkin
2016 Misc conf
Multiple Conclusion Rules in Logics with the Disjunction Property.
LFCS
Alex Citkin
2015 J jnl
Characteristic Inference Rules.
Logica Universalis
Alex Citkin
2014 J jnl
A Meta-Logic of Inference Rules: Syntax.
CoRR
Alex Citkin
2013 J jnl
Characteristic Formulas of Partial Heyting Algebras.
Logica Universalis
Alex Citkin
2013 — conf
Jankov Formula and Ternary Deductive Term.
TACL
Alex Citkin
2013 J jnl
Jankov-style formulas and refutation systems.
Reports Math. Log.
Alex Citkin
2012 J jnl
Characteristic formulas over intermediate logics
CoRR
Alex Citkin
2012 J jnl
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.
Stud Logica
Alex Citkin
2010 J jnl
Metalogic of Intuitionistic Propositional Calculus.
Notre Dame J. Formal Log.
Alex Citkin