Pages that link to "Item:Q4228076"
From MaRDI portal
The following pages link to A relevant analysis of natural deduction (Q4228076):
Displaying 10 items.
- A linear logical framework (Q1400718) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Specifying properties of concurrent computations in CLF (Q2871839) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- Aristotle'S natural deduction reconsidered (Q4358419) (← links)
- (Q5119556) (← links)