Non-Fregean Propositional Logic with Quantifiers.

Joanna Golinska-Pilarek Taneli Huuskonen

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

propositional logic
first order logic
possibilistic logic
belief revision
inference rules
quantified boolean formulae
knowledge representation
natural language
theorem proving
propositional satisfiability
davis putnam
proof procedure
satisfiability testing
search algorithm
machine learning
solving hard