Propositional Logics on the Computer.

Alain Heuerding Gerhard Jäger Stefan Schwendimann Michael Seyfried

Published in: TABLEAUX (1995)

Keyphrases

default logic
propositional logic
expressive power
computer technology
inference rules
conditional logic
nonmonotonic logics
propositional variables
computer systems
modal logic
linearly ordered
database
truth maintenance systems
computational properties
first order logic
fuzzy sets
learning algorithm