The following pages link to (Q5813911):
Displaying 6 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Philosophical reflection on mathematics in Poland in the interwar period (Q598321) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- A refutation theory (Q1931339) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On refutation rules (Q1941727) (← links)