Login / Signup
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.
Minghui Ma
Fei Liang
Published in:
Stud Logica (2018)
Keyphrases
</>
sequent calculi
distributive lattices
machine learning
boolean algebra
high dimensional