Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'.
José M. MéndezFrancisco SaltoPublished in: Stud Logica (2000)
Keyphrases
- propositional logic
- belief revision
- belief change
- horn logic
- horn contraction
- logical framework
- first order logic
- theorem prover
- fuzzy set theory
- classical logic
- lattice theory
- possibilistic logic
- quantified boolean formulae
- nonmonotonic reasoning
- fuzzy numbers
- belief update
- propositional satisfiability
- minimal change
- davis putnam
- valued logic
- satisfiability testing
- propositional formulas
- temporal logic
- knowledge base
- artificial intelligence
- proof procedure
- fixed point
- fuzzy logic