The following pages link to (Q4820597):
Displayed 7 items.
- On rules (Q266650) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- The density of truth in monadic fragments of some intermediate logics (Q1006461) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Structural completeness and superintuitionistic inquisitive logics (Q6118689) (← links)