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

DOI10.1007/S11225-021-09979-6OpenAlexW4212979425MaRDI QIDQ2144191FDOQ2144191

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

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

zbMATH Keywords

groundingnormalizationtypePrawitzformal system

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)