Pages that link to "Item:Q5739972"
From MaRDI portal
The following pages link to Proof-theoretic semantics, paradoxes and the distinction between sense and denotation (Q5739972):
Displaying 9 items.
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Game of grounds (Q2080589) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Introduction: Inferences and proofs (Q2288269) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
