Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.
John GrantPublished in: Logica Universalis (2023)
Keyphrases
- propositional logic
- belief revision
- first order logic
- valued logic
- possibilistic logic
- lattice theory
- quantified boolean formulae
- davis putnam
- belief base
- proof procedure
- classical logic
- propositional satisfiability
- artificial intelligence
- morphological operators
- stable models
- expressive power
- knowledge representation