Pages that link to "Item:Q2500816"
From MaRDI portal
The following pages link to On the proof-theoretic foundation of general definition theory (Q2500816):
Displaying 11 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← 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)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
- On the structure of proofs (Q6612876) (← links)