Least fixed points in grzegorczyk's logic and in the intuitionistic propositional logic
- 28 Downloads
KeywordsMathematical 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.
- 1.S. I. Mardaev, “Fixed points of modal schemes,”Algebra Logika, 31, No. 5, 493–498 (1992).Google Scholar
- 2.C. Smorynsky,Self-Reference and Modal Logic, Springer-Verlag (1985).Google Scholar
- 3.K. Segerberg,An Essay in Classical Modal Logic, Uppsala (1971).Google Scholar
- 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
© Plenum Publishing Corporation 1994