Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.
Masanobu ToyookaKatsuhiko SanoPublished in: CoRR (2022)
Keyphrases
- propositional logic
- first order logic
- horn logic
- belief revision
- valued logic
- possibilistic logic
- lattice theory
- quantified boolean formulae
- natural language
- horn contraction
- fuzzy set theory
- davis putnam
- theorem prover
- semantic web
- satisfiability testing
- incomplete information
- classical logic
- proof procedure
- belief change
- artificial intelligence