Pages that link to "Item:Q2500820"
From MaRDI portal
The following pages link to Validity concepts in proof-theoretic semantics (Q2500820):
Displaying 45 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- Free semantics (Q600848) (← links)
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- A proof-theoretic universal property of determiners (Q893600) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Anything goes (Q1708461) (← links)
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Subatomic negation (Q2035849) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Game of grounds (Q2080589) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← 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)
- The harmony of identity (Q2281316) (← links)
- The seeming interdependence between the concepts of valid inference and proof (Q2288270) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Truth from a proof-theoretic perspective (Q2339006) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- General proof theory: introduction (Q2631640) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)
- The Concepts of Proof and Ground (Q3305636) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited (Q5251195) (← links)
- BOLZANO’S CONCEPT OF GROUNDING (<i>ABFOLGE</i>) AGAINST THE BACKGROUND OF NORMAL PROOFS (Q5402234) (← links)
- INTUITIONISTIC EPISTEMIC LOGIC (Q5741614) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
