Completeness of Connexive Heyting-Brouwer Logic.
Norihiro KamideHeinrich WansingPublished in: FLAP (2016)
Keyphrases
- set theory
- logic programming
- modal logic
- classical logic
- information retrieval
- propositional dynamic logic
- proof theory
- partial order
- mathematical morphology
- case study
- database
- first order logic
- fuzzy sets
- programming language
- rough sets
- probability theory
- multi valued
- probabilistic logic
- data analysis
- predicate logic
- information systems
- sound and complete axiomatization