English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The paper presents a software tool for analysis and interactive engagement invarious logical reasoning tasks. A first feature of the program consists inproviding an interface for working with logic-specific repositories of formalknowledge. A second feature provides the means to intuitively visualize andinteractively generate the underlying logical structure that propels customarylogical reasoning tasks. Starting from this we argue that both aspects havedidactic potential and can be integrated in teaching activities to provide anengaging learning experience.

RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure