A pilot study of the use of LogEx, lessons learned

J.S. Lodder, B.J. Heeren, J.T. Jeuring*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluation
of the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.
Original languageEnglish
Title of host publicationProceedings of the Fourth International Conference on Tools for Teaching Logic
Subtitle of host publication9–12 June 2015
EditorsM. Antonia Huertas, João Marcos, María Manzano , Sophie Pinchinat, François Schwarzentruber
Place of PublicationRennes
PublisherPresses Universitaires de Rennes
Number of pages8
Publication statusPublished - 2015
EventFourth International Congress on Tools for Teaching Logic - Rennes, France
Duration: 9 Jun 201512 Jun 2015
Conference number: 4


OtherFourth International Congress on Tools for Teaching Logic
Abbreviated titleTTL 2015


Dive into the research topics of 'A pilot study of the use of LogEx, lessons learned'. Together they form a unique fingerprint.

Cite this