Pages that link to "Item:Q2491077"
From MaRDI portal
The following pages link to Decision methods for linearly ordered Heyting algebras (Q2491077):
Displaying 6 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
