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

DOI10.1007/BF02261708zbMath0815.03007MaRDI QIDQ1346913

S. I. Mardaev

Publication date: 20 April 1995

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

Kripke modelsintuitionistic logicGrzegorczyk logicleast fixed points\(\Pi\)-schemespropositional positive schemes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Least fixed points in the Gödel-Löb logic ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus ⋮ Convergence of positive schemes in S4 and Int

Cites Work

• Unnamed Item
• Fixed points of modal schemes
• On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus

This page was built for publication: Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic