The following pages link to (Q5619070):
Displaying 13 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)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
