The following pages link to (Q4347145):
Displaying 7 items.
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Free equivalential algebras (Q952484) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Algebras defined from ordered sets and the varieties they generate (Q2503153) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
