3 results
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 293-295
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
Characterization of strongly equivalent logic programs in intermediate logics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 259-270
-
- Article
- Export citation
The decidability of dependency in intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-504
- Print publication:
- June 1995
-
- Article
- Export citation