Skip to content

LOGAX

Product or Programme · All products and programmes
Evidence · 3 claims (3 for) · 1 study (1 design), q2 · 0 of 1 report an effect size · 3 claims rest on one study

Description

LOGAX is an interactive e-learning tutoring tool developed by Josje Lodder and colleagues for helping premaster and bachelor computer-science students construct Hilbert-style axiomatic proofs in propositional logic.

Components

  • LOGAX e-learning tool for Hilbert-style axiomatic proofs: LOGAX is an interactive tutoring tool in which students stepwise construct Hilbert-style axiomatic proofs in propositional logic using axioms a, b, c, Modus Ponens and the deduction theorem. As the article states, "LOGAX provides feedback, hints at different levels, next steps, and complete solutions." A dialog box lets students choose a rule and fill in line numbers while the software performs the step, and students can formulate their own exercises and ask for hints, a next step, or a complete proof at any moment. (Josje Lodder et al. (2021))
  • Dynamic recalculation of the solution space for hints in open solution domains: For domains like axiomatic proofs where not all solutions can be calculated upfront, the article proposes generating proofs automatically and extending them dynamically. As the authors put it, "If a student takes a step outside the current solution space, LOGAX dynamically recalculates the solution space, taking the student step as a starting point." The new solution space then serves as the source for hints and feedback, so the tutor can always respond even to diverging student steps. The authors present this dynamic approach as central to their solution and suggest similar techniques would be useful for ITSs in other multi-solution domains. (Josje Lodder et al. (2021))

Claims

-

Key Sources

  • Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis. (2021). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education 31:99-133. https://doi.org/10.1007/s40593-020-00222-2
Page metadata
Field Value
type product
id logax
title LOGAX
description LOGAX is an interactive e-learning tutoring tool developed by Josje Lodder and colleagues for helping premaster and bachelor computer-science students construct Hilbert-style axiomatic proofs in propositional logic.
status review
product_kind software
generated by process:settle-candidates on 2026-10-27
trust unverified — no one has confirmed this page's content

Frontmatter is the page's machine-readable record — see the Schema & Guide.