| |
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 |
|
| |
Contact us: