Pages that link to "Item:Q2500816"
From MaRDI portal
The following pages link to On the proof-theoretic foundation of general definition theory (Q2500816):
Displayed 5 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)