scientific article; zbMATH DE number 3497871

zbMATH Open0318.02032MaRDI QIDQ4079588FDOQ4079588

Authors: Dag Prawitz 

Publication date: 1970

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Intermediate logics (03B55) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cited In (5)

• Truth and proof in intuitionism
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Prawitz, Proofs, and Meaning
• A notion of \(C\)-justification for empirical statements
• Explaining deductive inference

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 Q4079588)