|
|
|
Publications in Math-Net.Ru |
Citations |
|
1990 |
| 1. |
A. Yu. Muravitskii, “Magari and $\Delta$-pseudo-Boolean algebras”, Sibirsk. Mat. Zh., 31:4 (1990), 111–117    ; Siberian Math. J., 31:4 (1990), 623–628  |
3
|
|
1989 |
| 2. |
A. U. Muravitskii, “Correspondence of proof-intuitionistic logic extensions to proof-logic extensions”, Trudy Inst. Mat. Sib. Otd. AN SSSR, 12 (1989), 104–120 |
|
1986 |
| 3. |
A. U. Muravitskii, “Algebraic proof of the separation property for an intuitionistic provability calculus”, Mat. Sb. (N.S.), 131(173):3(11) (1986), 403–412 ; Math. USSR-Sb., 59:2 (1988), 397–406 |
2
|
|
1985 |
| 4. |
A. U. Muravitskii, “Correspondence of proof-intuitionistic logic extensions to proof-logic extensions”, Dokl. Akad. Nauk SSSR, 281:4 (1985), 789–793 |
|
1984 |
| 5. |
A. U. Muravitskii, “A result on the completeness of superintuitionistic logics”, Mat. Zametki, 36:5 (1984), 765–776 ; Math. Notes, 36:5 (1984), 883–889 |
| 6. |
A. U. Muravitskii, “Superintuitionistic logics approximated by algebras with the descending chain condition”, Mat. Zametki, 35:2 (1984), 273–276 ; Math. Notes, 35:2 (1984), 145–146 |
|
1983 |
| 7. |
A. Yu. Muravitskii, “Comparison of topological and relational semantics of
superintuitionistic logics”, Algebra Logika, 22:3 (1983), 276–296 |
| 8. |
A. U. Muravitskii, “Extensions of the provability logic”, Mat. Zametki, 33:6 (1983), 915–927 ; Math. Notes, 33:6 (1983), 469–475 |
1
|
|
1981 |
| 9. |
A. Yu. Muravitskii, “Strong equivalence on an intuitionistic Kripke model and
assertorically coextensive logics”, Algebra Logika, 20:2 (1981), 165–182 |
| 10. |
A. U. Muravitskii, “Finite approximability of the $I^\Delta$ calculus and the existence of an extension having no model”, Mat. Zametki, 29:6 (1981), 907–916 ; Math. Notes, 29:6 (1981), 463–468 |
5
|
| |
|
|
Contact us: