The following pages link to RULES FOR SUBATOMIC DERIVATION (Q3094185):
Displaying 11 items.
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- Constructive belief reports (Q514084) (← links)
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Subatomic negation (Q2035849) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- The logicality of equality (Q6612870) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)
- Comments on the contributions (Q6612881) (← links)