The following pages link to (Q4484080):
Displaying 6 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)