C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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