The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL.
Li WeiYuefei SuiYuhui WangPublished in: J. Intell. Fuzzy Syst. (2017)
Keyphrases
- propositional logic
- lattice theory
- proof procedure
- horn clauses
- inference rules
- first order logic
- valued logic
- theorem proving
- belief revision
- theorem prover
- sequent calculus
- possibilistic logic
- quantified boolean formulae
- satisfiability testing
- nonmonotonic logics
- horn logic
- artificial intelligence
- davis putnam
- logical framework