What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
Naosuke MatsudaKento TakagiPublished in: WoLLIC (2022)
Keyphrases
- predicate logic
- classical logic
- knowledge representation and reasoning
- formal logic
- temporal logic
- semantic network
- predicate calculus
- computational linguistics
- real world
- semantic net
- highly expressive
- linear logic
- order sorted
- fuzzy set theory
- lower level
- logical formulas
- inference rules
- modal logic
- sequent calculus
- model checking
- logic programming
- expert systems