Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic.
Michael O'ConnorPublished in: LFCS (2007)
Keyphrases
- propositional logic
- first order logic
- belief revision
- set theory
- lattice theory
- quantified boolean formulae
- possibilistic logic
- theorem prover
- fuzzy set theory
- davis putnam
- proof procedure
- satisfiability testing
- belief change
- propositional formulas
- fuzzy numbers
- machine translation
- knowledge representation
- horn logic
- valued logic
- logic programs