Intuitionistic Propositional Logic with Galois Negations.
Minghui MaGuiying LiPublished in: Stud Logica (2023)
Keyphrases
- propositional logic
- fuzzy sets
- fuzzy set theory
- fuzzy information
- fuzzy numbers
- first order logic
- theorem prover
- belief revision
- quantified boolean formulae
- possibilistic logic
- satisfiability testing
- fuzzy logic
- classical logic
- horn logic
- propositional formulas
- logical framework
- propositional satisfiability
- proof procedure
- lattice theory
- belief change
- natural deduction
- davis putnam
- theorem proving
- inference rules
- artificial intelligence