Pages that link to "Item:Q1181713"
From MaRDI portal
The following pages link to Computations in fragments of intuitionistic propositional logic (Q1181713):
Displaying 7 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)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Notes on my scientific life (Q6612807) (← links)
