Pages that link to "Item:Q2690170"
From MaRDI portal
The following pages link to The original sin of proof-theoretic semantics (Q2690170):
Displaying 14 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- The idea of a proof-theoretic semantics and the meaning of the logical operations (Q1970589) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- The justification of the logical laws revisited (Q2500811) (← links)
- Non-conditional contracting connectives (Q2658286) (← links)
- Empty logics (Q2679581) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Meaning, function, purpose, usefulness, \textit{consequences} -- interconnected concepts (Q2765562) (← links)
- SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS (Q3499800) (← links)
- Completeness of a cut-free calculus with equality and function constants (Q3712336) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation (Q5739972) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)