Alex Citkin

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 11

Top Topics

Inference Rules

Positively Correlated

Probabilistic Knowledge

Top Venues

Logica Universalis

Publications

Alex Citkin
On Finitely-Generated Johansson Algebras. Order 40 (2) (2023)
Alex Citkin
Unified Deductive Systems: An Outline. Logica Universalis 17 (4) (2023)
Alex Citkin, Alexei Y. Muravitsky
Preface to the Rejection Special Issue. Logica Universalis 17 (4) (2023)
Alex Citkin
Hereditarily Structurally Complete positive Logics. Rev. Symb. Log. 13 (3) (2020)
Alex Citkin, Urszula Wybraniec-Skardowska
Deductive Systems in Traditional and Modern Logic. Axioms 9 (3) (2020)
Alex Citkin
Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property. Axioms 8 (3) (2019)
Alex Citkin
Hereditarily Structurally Complete Superintuitionistic Deductive Systems. Stud Logica 106 (4) (2018)
Alex Citkin
One-Generated WS5-Algebras. Advances in Modal Logic (2018)
Alex Citkin
Admissibility in Positive Logics. Logica Universalis 11 (4) (2017)
Alex Citkin
Algebraic Logic Perspective on Prucnal's Substitution. Notre Dame J. Formal Log. 57 (4) (2016)
Alex Citkin
Multiple Conclusion Rules in Logics with the Disjunction Property. LFCS (2016)
Alex Citkin
Characteristic Inference Rules. Logica Universalis 9 (1) (2015)
Alex Citkin
A Meta-Logic of Inference Rules: Syntax. CoRR (2014)
Alex Citkin
Characteristic Formulas of Partial Heyting Algebras. Logica Universalis 7 (2) (2013)
Alex Citkin
Jankov-style formulas and refutation systems. Reports Math. Log. 48 (2013)
Alex Citkin
Jankov Formula and Ternary Deductive Term. TACL (2013)
Alex Citkin
Characteristic formulas over intermediate logics CoRR (2012)
Alex Citkin
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable. Stud Logica 100 (1-2) (2012)
Alex Citkin
Metalogic of Intuitionistic Propositional Calculus. Notre Dame J. Formal Log. 51 (4) (2010)