Pages that link to "Item:Q2690170"
From MaRDI portal
The following pages link to The original sin of proof-theoretic semantics (Q2690170):
Displaying 6 items.
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Non-conditional contracting connectives (Q2658286) (← links)
- Empty logics (Q2679581) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
