Pages that link to "Item:Q626494"
From MaRDI portal
The following pages link to Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494):
Displaying 7 items.
- The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803) (← links)
- PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (Q3096823) (← links)
- Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules (Q5213629) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
