Login / Signup

Consistent disjunctive sequent calculi and Scott domains.

Longchun WangQingguo Li
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • sequent calculi
  • machine learning
  • artificial intelligence