Pages that link to "Item:Q5803251"
From MaRDI portal
The following pages link to Intuitionistische Untersuchungen der formalistischen Logik (Q5803251):
Displaying 27 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- Scattered toposes (Q1977486) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY (Q2921007) (← links)
- Automated Constructivization of Proofs (Q2988387) (← links)
- Interpolation via translations (Q3184216) (← links)
- Shoenfield is Gödel after Krivine (Q3437042) (← links)
- ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- A Certain Kind of Formal Theories (Q5517665) (← links)
- On an Application of Intermediate Logics (Q5518355) (← links)
- On Universal Character of the Primitive Logic (Q5546770) (← links)
- A generalization of Curry's theorem (Q5601457) (← links)
- Eine Darstellung der Intuitionistischen Logik in der Klassischen (Q5829018) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
- Double negation as minimal negation (Q6190088) (← links)
