On the period of sequences (An(p)) in intuitionistic propositional calculus

DOI10.2307/2274142zbMath0594.03014OpenAlexW1995801512MaRDI QIDQ3724305

Wim Ruitenburg

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274142

zbMATH Keywords

intuitionistic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (6)

AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus ⋮ Convergence of positive schemes in S4 and Int

Cites Work

• On formulas of one variable in intuitionistic propositional calculus

This page was built for publication: On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus