Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.
Olivier GasquetFrançois SchwarzentruberMartin StreckerPublished in: TICTTL (2011)
Keyphrases
- propositional logic
- computational power
- parallel processing
- belief revision
- first order logic
- computing power
- possibilistic logic
- quantified boolean formulae
- lattice theory
- memory requirements
- propositional satisfiability
- proof procedure
- davis putnam
- hardware architectures
- horn logic
- propositional formulas
- logic programming