Login / Signup
Measuring Inconsistency in Generalized Propositional Logic.
John Grant
Published in:
Logica Universalis (2020)
Keyphrases
</>
propositional logic
first order logic
valued logic
belief revision
quantified boolean formulae
lattice theory
satisfiability testing
proof procedure
possibilistic logic
davis putnam
propositional formulas
description logics
orders of magnitude
belief change
propositional satisfiability