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