A logic for Lawson compact algebraic L-domains.

Longchun Wang Qingguo Li

Published in: Theor. Comput. Sci. (2020)

Keyphrases

algebraic structure
real world
probabilistic logic
multi valued
computer algebra
mathematical theory
logical framework
cross domain
logic programming
real time
continuous domains
application domains
classical logic
computational properties
nonmonotonic logics
abductive reasoning
database