The following pages link to (Q5619070):
Displayed 9 items.
- Cofinal stable logics (Q514517) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Pretabular superintuitionistic logic (Q2265416) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Some results on the intermediate logics (Q2557689) (← links)