Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.
Grigory K. OlkhovikovGuillermo BadiaPublished in: Rev. Symb. Log. (2024)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- business intelligence
- linear logic
- temporal logic
- formal logic
- semantic net
- computational linguistics
- semantic network
- predicate calculus
- fuzzy set theory
- natural language
- interval valued
- fuzzy numbers
- classical logic
- theorem prover
- model checking
- natural language processing
- knowledge discovery
- machine learning
- fluent calculus
- order sorted