scientific article; zbMATH DE number 7640
From MaRDI portal
Publication:3970572
zbMATH Open0742.03020MaRDI QIDQ3970572
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
cut-eliminationtype theorypartial valuationsTakeuti's conjecturecandidates of cut- free derivability
Recommendations
- Title not available (Why is that?) 👍 👎
- A semantical proof of De Jongh's theorem 👍 👎
- A proof-theoretical analysis of semiconstructive intermediate theories 👍 👎
- Explicit provability and constructive semantics 👍 👎
- Arithmetical Completeness of the Intuitionistic Logic of Proofs 👍 👎
- An intuitionistic proof of Tychonoff's theorem 👍 👎
- An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited 👍 👎
- On the strong semantical completeness of the intuitionistic predicate calculus 👍 👎
- Some Remarks on Proof-Theoretic Semantics 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3970572)
