Login / Signup
A multi-labelled sequent calculus for Topo-Logic.
Ian Shillito
Published in:
J. Log. Comput. (2020)
Keyphrases
</>
sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
wide class
proof search
sufficient conditions
logic programming
classical logic
expert systems
logical framework
fixed point
first order logic
theorem prover
desirable properties
machine learning