Algebra and Logic

, Volume 32, Issue 5, pp 279–288 | Cite as

Least fixed points in grzegorczyk's logic and in the intuitionistic propositional logic

  • S. I. Mardaev


Mathematical Logic Propositional Logic Intuitionistic Propositional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. I. Mardaev, “Fixed points of modal schemes,”Algebra Logika, 31, No. 5, 493–498 (1992).Google Scholar
  2. 2.
    C. Smorynsky,Self-Reference and Modal Logic, Springer-Verlag (1985).Google Scholar
  3. 3.
    K. Segerberg,An Essay in Classical Modal Logic, Uppsala (1971).Google Scholar
  4. 4.
    V. Ruitenburg, “On the period of sequences (A n(p)) in the intuitionistic propositional calculus,”J. Symb. Logic, 49, No. 3, 892–899 (1984).Google Scholar

Copyright information

© Plenum Publishing Corporation 1994

Authors and Affiliations

  • S. I. Mardaev

There are no affiliations available

Personalised recommendations