The following pages link to A refutation theory (Q1931339):
Displayed 7 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On refutation rules (Q1941727) (← links)
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions (Q2288266) (← links)
- Judgment and consequence relations (Q2901202) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- Logics and Their Galaxies (Q5350335) (← links)