scientific article; zbMATH DE number 3497871

MaRDI QIDQ4079588zbMATH OpenFDO

Authors Dag Prawitz

Publication date 1970

Mathematics Subject Classification ID

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

Cited in

(6)

• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Prawitz, Proofs, and Meaning
• Explaining deductive inference
• A notion of \(C\)-justification for empirical statements
• Truth and proof in intuitionism
• Classical logic, uniformity, and weak excluded middle in non-monotonic 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 Q4079588)