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

•