Bi-Intuitionistic Logics: A New Instance of an Old Problem.

Rajeev Goré Ian Shillito

Published in: AiML (2020)

Keyphrases

classical logic
business intelligence
expressive power
theorem prover
fuzzy set theory
modal logic
inference rules
data sets
machine learning
learning algorithm
interval valued
linear logic
artificial intelligence
nonmonotonic logics