Constructing a continuum of predicate extensions of each intermediate propositional logic.
Nobu-Yuki SuzukiPublished in: Stud Logica (1995)
Keyphrases
- propositional logic
- first order logic
- belief revision
- expressive power
- truth maintenance systems
- theorem proving
- knowledge representation
- possibilistic logic
- davis putnam
- lattice theory
- quantified boolean formulae
- propositional satisfiability
- inference rules
- propositional formulas
- valued logic
- satisfiability testing
- belief change
- proof procedure
- artificial intelligence