On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.
Romà J. AdillonVentura VerdúPublished in: Stud Logica (2000)
Keyphrases
- propositional logic
- belief revision
- belief change
- horn logic
- horn contraction
- first order logic
- theorem prover
- logical framework
- quantified boolean formulae
- possibilistic logic
- fuzzy set theory
- lattice theory
- belief update
- minimal change
- nonmonotonic reasoning
- fuzzy numbers
- knowledge base
- proof procedure
- belief set
- functional dependencies
- description logics