The following pages link to (Q3472080):
Displaying 5 items.
- On rules (Q266650) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
