An alternative proof of the Hilbert-style axiomatization for the $\{\wedge , \vee \}$-fragment of classical propositional logic.
Luciano J. GonzálezPublished in: Arch. Math. Log. (2022)
Keyphrases
- propositional logic
- proof procedure
- first order logic
- horn logic
- complete axiomatization
- belief revision
- valued logic
- possibilistic logic
- theorem proving
- lattice theory
- theorem prover
- quantified boolean formulae
- satisfiability testing
- belief change
- davis putnam
- minimal models
- expressive power
- situation calculus
- propositional satisfiability
- knowledge representation