Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alex Citkin

Alexander Citkin

> Home > Persons

Person information

affiliation: Metropolitan Telecommunications, New York, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/CitkinM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/CitkinM23
Alex Citkin, Alexei Y. Muravitsky:
Preface to the Rejection Special Issue. Logica Universalis 17(4): 405-410 (2023)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/Citkin23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/Citkin23
Alex Citkin:
Unified Deductive Systems: An Outline. Logica Universalis 17(4): 483-509 (2023)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/order/Citkin23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/order/Citkin23
Alex Citkin:
On Finitely-Generated Johansson Algebras. Order 40(2): 371-385 (2023)
2020
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/axioms/CitkinW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/axioms/CitkinW20
Alex Citkin, Urszula Wybraniec-Skardowska:
Deductive Systems in Traditional and Modern Logic. Axioms 9(3): 108 (2020)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Citkin20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Citkin20
Alex Citkin:
Hereditarily Structurally Complete positive Logics. Rev. Symb. Log. 13(3): 483-502 (2020)
2019
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/axioms/Citkin19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/axioms/Citkin19
Alex Citkin:
Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property. Axioms 8(3): 100 (2019)
2018
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Citkin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Citkin18
Alex Citkin:
Hereditarily Structurally Complete Superintuitionistic Deductive Systems. Stud Logica 106(4): 827-856 (2018)
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/Citkin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/Citkin17
Alex Citkin:
Admissibility in Positive Logics. Logica Universalis 11(4): 421-437 (2017)
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Citkin16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Citkin16
Alex Citkin:
Algebraic Logic Perspective on Prucnal's Substitution. Notre Dame J. Formal Log. 57(4): 503-521 (2016)
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/Citkin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/Citkin15
Alex Citkin:
Characteristic Inference Rules. Logica Universalis 9(1): 27-46 (2015)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/Citkin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/Citkin13
Alex Citkin:
Characteristic Formulas of Partial Heyting Algebras. Logica Universalis 7(2): 167-193 (2013)
[j4]
- view
  - electronic edition @ uj.edu.pl (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rml/Citkin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rml/Citkin13
Alex Citkin:
Jankov-style formulas and refutation systems. Reports Math. Log. 48: 67-80 (2013)
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Citkin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Citkin12
Alexander Citkin:
A note on admissible rules and the disjunction property in intermediate logics. Arch. Math. Log. 51(1-2): 1-14 (2012)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Citkin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Citkin12
Alex Citkin:
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable. Stud Logica 100(1-2): 115-135 (2012)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/Citkin10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/Citkin10
Alex Citkin:
Metalogic of Intuitionistic Propositional Calculus. Notre Dame J. Formal Log. 51(4): 485-502 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c3]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/Citkin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Citkin18
Alex Citkin:
One-Generated WS5-Algebras. Advances in Modal Logic 2018: 143-158
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Citkin16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Citkin16
Alex Citkin:
Multiple Conclusion Rules in Logics with the Disjunction Property. LFCS 2016: 76-89
2013
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacl/Citkin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacl/Citkin13
Alex Citkin:
Jankov Formula and Ternary Deductive Term. TACL 2013: 48-51

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Citkin14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Citkin14
Alex Citkin:
A Meta-Logic of Inference Rules: Syntax. CoRR abs/1411.7516 (2014)
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1208-2631
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2631
Alex Citkin:
Characteristic formulas over intermediate logics. CoRR abs/1208.2631 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.