Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras.

Minghui Ma Mihir Kumar Chakraborty Zhe Lin

Published in: IJCSR (2018)

Keyphrases

sequent calculi
topological spaces
real valued
boolean functions
conditional logic
temporal reasoning
topological properties
topological features
cut elimination
modal logic
machine learning
spatial reasoning
closure operator