Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic.
Zhiguang ZhaoPublished in: CoRR (2020)
Keyphrases
- formal theory
- computer algebra
- proof theoretic
- proof theory
- point correspondences
- set theory
- general theory
- information retrieval
- deductive reasoning
- formal logic
- boolean algebra
- logical framework
- modal logic
- theoretical framework
- automated reasoning
- probability theory
- mathematical theory
- model theoretic
- predicate logic
- theoretical basis
- commonsense reasoning
- information theory
- case study
- correspondence matching
- learning algorithm
- databases
- finite model theory