On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules.
Clint J. van AltenJames G. RafteryPublished in: Reports Math. Log. (1997)
Keyphrases
- propositional logic
- belief revision
- answer set semantics
- belief change
- logical framework
- possibilistic logic
- horn logic
- multi context systems
- minimal models
- first order logic
- semantics for logic programs
- linear logic
- horn contraction
- quantified boolean formulae
- valued logic
- formal semantics
- lattice theory
- satisfiability testing
- normal logic programs
- strong equivalence
- epistemic states
- truth maintenance systems
- fuzzy set theory
- theorem prover
- propositional satisfiability
- proof procedure
- logic programming
- nonmonotonic reasoning
- machine learning
- function free horn
- propositional formulas
- uncertain information
- classical logic
- rough sets
- expert systems