The following pages link to (Q3475248):
Displaying 8 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- On decidable consequence operators (Q1088981) (← links)
- (Q2998377) (← links)
- (Q3112294) (← links)
- (Q3220564) (← links)
- (Q3797162) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)