Deduction in Non-Fregean Propositional Logic SCI.
Joanna Golinska-PilarekMagdalena WellePublished in: Axioms (2019)
Keyphrases
- propositional logic
- proof procedure
- first order logic
- theorem proving
- belief revision
- inference rules
- quantified boolean formulae
- theorem prover
- belief change
- possibilistic logic
- davis putnam
- propositional satisfiability
- lattice theory
- satisfiability testing
- knowledge representation
- search algorithm
- artificial intelligence