The following pages link to (Q3758808):
Displaying 4 items.
- On structural completeness of implicational logics (Q1181489) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Almost structurally complete infinitary consequence operations extending S4.3 (Q4644526) (← links)
- A completeness result for implicit justification stit logic (Q5197392) (← links)