We stand with Ukraine

We stand with Ukraine

Alex Citkin

Orcid: 0000-0002-9388-8875

Affiliations:

Metropolitan Telecommunications, New York, USA

According to our database¹, Alex Citkin authored at least 20 papers between 2010 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2023

Preface to the Rejection Special Issue.

[BibT_eX]

[DOI]

,

Alexei Y. Muravitsky

Logica Universalis, December, 2023

Unified Deductive Systems: An Outline.

[BibT_eX]

[DOI]

Logica Universalis, December, 2023

On Finitely-Generated Johansson Algebras.

[BibT_eX]

[DOI]

Order, July, 2023

2020

Hereditarily Structurally Complete positive Logics.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2020

Deductive Systems in Traditional and Modern Logic.

[BibT_eX]

[DOI]

,

Urszula Wybraniec-Skardowska

Axioms, 2020

2019

Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property.

[BibT_eX]

[DOI]

Axioms, 2019

2018

Hereditarily Structurally Complete Superintuitionistic Deductive Systems.

[BibT_eX]

[DOI]

Stud Logica, 2018

One-Generated WS5-Algebras.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

Admissibility in Positive Logics.

[BibT_eX]

[DOI]

Logica Universalis, 2017

2016

Algebraic Logic Perspective on Prucnal's Substitution.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

Multiple Conclusion Rules in Logics with the Disjunction Property.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2015

Characteristic Inference Rules.

[BibT_eX]

[DOI]

Logica Universalis, 2015

2014

A Meta-Logic of Inference Rules: Syntax.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Jankov-style formulas and refutation systems.

[BibT_eX]

[DOI]

Reports Math. Log., 2013

Characteristic Formulas of Partial Heyting Algebras.

[BibT_eX]

[DOI]

Logica Universalis, 2013

Jankov Formula and Ternary Deductive Term.

[BibT_eX]

[DOI]

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.

[BibT_eX]

[DOI]

Stud Logica, 2012

Characteristic formulas over intermediate logics

[BibT_eX]

[DOI]

CoRR, 2012

A note on admissible rules and the disjunction property in intermediate logics.

[BibT_eX]

[DOI]

Alexander Citkin

Arch. Math. Log., 2012

2010

Metalogic of Intuitionistic Propositional Calculus.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2010

Loading...