|
This article is cited in 9 scientific papers (total in 10 papers)
Least fixed points in Grzegorczyk logic and intuitionistic
propositional logic
S. I. Mardaev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Received: 16.03.1993
Citation:
S. I. Mardaev, “Least fixed points in Grzegorczyk logic and intuitionistic
propositional logic”, Algebra Logika, 32:5 (1993), 519–536
Linking options:
https://www.mathnet.ru/eng/al2243 https://www.mathnet.ru/eng/al/v32/i5/p519
|
Statistics & downloads: |
Abstract page: | 35 | Full-text PDF : | 6 |
|