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
Article

Keywords

Mathematical Logic Propositional Logic Intuitionistic Propositional Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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