The following pages link to What is an inference rule? (Q4032879):
Displayed 10 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- Explicating logical independence (Q2301324) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- A nonstandard approach to the logical omniscience problem (Q5917442) (← links)
- A nonstandard approach to the logical omniscience problem (Q5925570) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)