Propositional n-traces: Visualizing a Problem in Philosophic Logic.
Nathalie PrevostRay E. JenningsLoki JörgensonF. David FracchiaPublished in: IEEE Visualization (1995)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- proof procedure
- deductive reasoning
- logic programming
- propositional logic
- general logic programs
- classical first order logic
- horn clauses
- propositional variables
- modal logic
- predicate calculus
- theorem proving
- truth maintenance systems
- belief revision
- classical logic
- autoepistemic logic
- asynchronous circuits
- dynamic logic
- logical theories
- predicate logic
- deontic logic
- computational properties
- first order logic
- interactive visualization
- boolean functions
- default logic
- knowledge representation