• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.

Nick BezhanishviliSilvio GhilardiFrederik 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