Propositional n-traces: Visualizing a Problem in Philosophic Logic

Nathalie Prevost, Ray E. Jennings, Loki Jorgenson, F. David Fracchia. Propositional n-traces: Visualizing a Problem in Philosophic Logic. In IEEE Visualization. pages 338-341, 1995. [doi]

Abstract

Abstract is missing.