Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic.
Huacan HePengtao JiaYingcang MaLirong AiPublished in: GrC (2010)
Keyphrases
- propositional logic
- continuous valued
- lattice theory
- valued logic
- horn logic
- nonmonotonic logics
- proof procedure
- first order logic
- possibilistic logic
- belief revision
- propositional variables
- discrete valued
- minimal models
- belief change
- quantified boolean formulae
- relational algebra
- classical logic
- logic programming
- knowledge representation
- truth maintenance systems
- query language
- predicate calculus
- autoregressive model
- computational properties
- modal logic