A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic.
Alexander V. GheorghiuPublished in: LPAR Complementary Volume (2024)
Keyphrases
- propositional logic
- multi context systems
- belief revision
- first order logic
- quantified boolean formulae
- lattice theory
- possibilistic logic
- propositional satisfiability
- davis putnam
- theorem prover
- satisfiability testing
- horn logic
- artificial intelligence
- proof procedure
- propositional formulas
- answer set semantics
- logical framework
- fuzzy set theory
- belief change
- production rules
- domain knowledge
- relational databases