The following pages link to (Q4077987):
Displayed 6 items.
- Free equivalential algebras (Q952484) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)