DeSymbol: an interpretive tool for symbolic logic

  • Authors:

  • Darren F. Provine;Nancy Lynn Tinkham

  • Affiliations:

  • Rowan University;Rowan University

  • Venue:
  • Journal of Computing Sciences in Colleges
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

DeSymbol is a logic translation program that translates first-order predicate logic expressions into English, for use as a tutorial aid for students learning or reviewing logic in their coursework. This system has been used in the classroom at Rowan University, with positive results.