The following pages link to What is Logic? (Q3208615):
Displayed 18 items.
- Why conclusions should remain single (Q543530) (← links)
- Simple consequence relations (Q809992) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- What is the logic of inference? (Q2426732) (← links)
- <i>Logical Constants: A Modalist Approach</i><sup>1</sup> (Q2867855) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
- Popper's theory of deductive inference and the concept of a logical constant (Q3684103) (← links)
- Logical constants in quantifier languages (Q3727961) (← links)
- What is an inference rule? (Q4032879) (← links)
- Term Sequent Logic (Q4982627) (← links)
- Busting a Myth about Leśniewski and Definitions (Q4983316) (← links)
- Connectives in Cumulative Logics (Q5452189) (← links)
- Logic, logics, and logicism (Q5937844) (← links)