Propositional Logic for Infinitive Sentences.

Nicola Spinelli

Published in: J. Log. Lang. Inf. (2024)

Keyphrases

propositional logic
belief revision
first order logic
natural language
lattice theory
quantified boolean formulae
possibilistic logic
davis putnam
belief change
satisfiability testing
propositional satisfiability
mathematical morphology
proof procedure
horn logic