Pages that link to "Item:Q383070"
From MaRDI portal
The following pages link to The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070):
Displayed 12 items.
- Anything goes (Q1708461) (← links)
- Blurring: an approach to conflation (Q1750295) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- Relevant Connexive Logic (Q3387887) (← links)
- Inferential Semantics (Q5213609) (← links)
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)