Pages that link to "Item:Q3724305"
From MaRDI portal
The following pages link to On the period of sequences (<i>A<sup>n</sup>(p)</i>) in intuitionistic propositional calculus (Q3724305):
Displaying 5 items.
- Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic (Q1346913) (← links)
- Convergence of positive schemes in S4 and Int (Q1842382) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)