L-domains as locally continuous sequent calculi.

Longchun Wang Qingguo Li

Published in: Arch. Math. Log. (2024)

Keyphrases

sequent calculi
continuous domains
real world
artificial intelligence
knowledge base
training data
general purpose