Login / Signup
The Axiomatization of Propositional Logic.
Mariusz Giero
Published in:
Formaliz. Math. (2016)
Keyphrases
</>
propositional logic
belief revision
first order logic
quantified boolean formulae
situation calculus
possibilistic logic
davis putnam
lattice theory
belief change
propositional satisfiability
proof procedure
valued logic
artificial intelligence
expert systems
domain knowledge
solving hard