Pages that link to "Item:Q1181713"
From MaRDI portal
The following pages link to Computations in fragments of intuitionistic propositional logic (Q1181713):
Displayed 4 items.
- Free equivalential algebras (Q952484) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)