A Lindström Theorem for Intuitionistic Propositional Logic.
Guillermo BadiaGrigory K. OlkhovikovPublished in: Notre Dame J. Formal Log. (2020)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- belief revision
- valued logic
- linear logic
- fuzzy set theory
- quantified boolean formulae
- lattice theory
- possibilistic logic
- satisfiability testing
- logical framework
- classical logic
- davis putnam
- natural deduction
- proof procedure
- propositional satisfiability
- belief change
- theorem proving
- machine learning
- inference rules
- knowledge representation