The Syntax of Disjunctive Propositional Logic and Algebraic L-domains.

Longchun Wang Qingguo Li

Published in: CoRR (2019)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
possibilistic logic
lattice theory
natural language
belief change
propositional satisfiability
davis putnam
proof procedure
answer sets