This article is cited in 9 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

UDC: 510.64

Received: 16.03.1993

 English version: DOI: 10.1007/BF02261708

Bibliographic databases:

•