Peirce's Calculi for Classical Propositional Logic.

Minghui Ma Ahti-Veikko Pietarinen

Published in: Rev. Symb. Log. (2020)

Keyphrases

propositional logic
horn logic
first order logic
belief revision
possibilistic logic
valued logic
quantified boolean formulae
lattice theory
satisfiability testing
davis putnam
proof procedure
knowledge base
logic programs
belief change
automated reasoning