|
Citkin, Alexander Il'ich
|
Statistics Math-Net.Ru |
Total publications: |
4 |
Scientific articles: |
4 |
Number of views: |
This page: | 508 | Abstract pages: | 1009 | Full texts: | 426 | References: | 38 |
|
|
Candidate of physico-mathematical sciences (1979) |
Speciality: |
01.01.06 (Mathematical logic, algebra, and number theory) |
Birth date: |
5.11.1948 |
E-mail: |
|
Keywords: |
superintuitionistic logics, propositional logics, inference rules, admissible rules.
|
UDC: |
517.12, 512 |
Subject: |
Non classic logics.
|
|
|
Main publications: |
- A. I. Tsitkin, O dopustimykh pravilakh intuitsionistskoi logiki vyskazyvanii, Matem. sb., 1977, 102(144):2, 314–323.
|
|
|
https://www.mathnet.ru/eng/person23450 |
|
List of publications on Google Scholar |
|
List of publications on ZentralBlatt |
|
https://mathscinet.ams.org/mathscinet/MRAuthorID/196128 |
|
|
|
Publications in Math-Net.Ru |
Citations |
|
1986 |
1. |
A. I. Citkin, “Finite axiomatizability of locally tabular superintuitionistic logics”, Mat. Zametki, 40:3 (1986), 407–413 ; Math. Notes, 40:3 (1986), 739–742 |
|
1978 |
2. |
A. I. Citkin, “On structurally complete superintuitionistic logics”, Dokl. Akad. Nauk SSSR, 241:1 (1978), 40–43 |
3
|
|
1977 |
3. |
A. I. Citkin, “On admissible rules of intuitionistic propositional logic”, Mat. Sb. (N.S.), 102(144):2 (1977), 314–323 ; Math. USSR-Sb., 31:2 (1977), 279–288 |
34
|
|
1971 |
4. |
N. N. Aizenberg, A. I. Citkin, “Simple testers”, Dokl. Akad. Nauk SSSR, 201:4 (1971), 801–802 |
|
Organisations |
|
| |