Calculi of epistemic grounding based on Prawitz's theory of grounds

DOI10.1007/S11225-021-09979-6MaRDI QIDQ2144191OpenAlexFDO

Authors Antonio Piccolomini d'Aragona

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09979-6

zbMATH Keywords

groundingnormalizationtypePrawitzformal system

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Dag Prawitz on proofs, operations and grounding
• Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Game of grounds

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A natural extension of natural deduction
• A notion of \(C\)-justification for empirical statements
• Dag Prawitz on proofs, operations and grounding
• Explaining deductive inference
• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Inference and epistemic transparency
• Intuitionism. An introduction
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Proof, meaning and paradox: some remarks
• Proof-theoretic semantics
• The seeming interdependence between the concepts of valid inference and proof
• Untersuchungen über das logische Schliessen. I
• Validity concepts in proof-theoretic semantics

This page was built for publication: Calculi of epistemic grounding based on Prawitz's theory of grounds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144191)