Pages that link to "Item:Q4774024"
From MaRDI portal
The following pages link to Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (Q4774024):
Displaying 13 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Automated Constructivization of Proofs (Q2988387) (← links)
- Interpolation via translations (Q3184216) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- Constructivism and Metamathematics (Q5258986) (← links)
- Intuitionistic mereology (Q6067323) (← links)
