Intuitionistic propositional logic with Galois connections.
Wojciech DzikJouni JärvinenMichiro KondoPublished in: Log. J. IGPL (2010)
Keyphrases
- propositional logic
- first order logic
- belief revision
- possibilistic logic
- theorem prover
- fuzzy set theory
- lattice theory
- quantified boolean formulae
- classical logic
- davis putnam
- horn logic
- satisfiability testing
- propositional formulas
- search algorithm
- proof procedure
- propositional satisfiability
- valued logic
- logical framework
- belief change
- artificial intelligence