Pages that link to "Item:Q2811336"
From MaRDI portal
The following pages link to Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336):
Displaying 6 items.
- Intuitionistic fixed point logic (Q2220485) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- A Function Elimination Method for Checking Satisfiability of Arithmetical Logics (Q2968852) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- Ruitenburg's Theorem via Duality and Bounded Bisimulations (Q5224571) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)