Login / Signup
On Banach spaces of sequences and free linear logic exponential modality.
Sergey Slavnov
Published in:
Math. Struct. Comput. Sci. (2019)
Keyphrases
</>
linear logic
multi modal
fixed point
hidden markov models
proof theoretic
sequent calculus
desirable properties
logical framework
logic programming
cut elimination
medical images
intuitionistic logic
proof search
inference rules
multi view
qualitative and quantitative
expert systems
first order logic