Login / Signup
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.
Nick Bezhanishvili
Silvio Ghilardi
Frederik Möllerström Lauridsen
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
post processing
sequent calculi
interval algebra
desirable properties
theorem proving
spatial reasoning
topological spaces
real time
proof search