Pages that link to "Item:Q1222646"
From MaRDI portal
The following pages link to On the idea of a general proof theory (Q1222646):
Displaying 29 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- Assertion, inference, and consequence (Q383062) (← links)
- Zeno's arrow and the infinitesimal calculus (Q514100) (← links)
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Partial inductive definitions (Q1177153) (← links)
- A propositional theory of truth (Q1633894) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament (Q1942104) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Radical anti-realism, Wittgenstein and the length of proofs (Q2268776) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Truth as an epistemic notion (Q2339002) (← links)
- Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology (Q2442132) (← links)
- On the unity of duality (Q2482843) (← links)
- Meaning approached via proofs (Q2500819) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Inference as doxastic agency. I: The basics of justification stit logic (Q2631648) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Truth and Proof in Intuitionism (Q5253923) (← links)
- BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS (Q5402234) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
