Around Classical and Intuitionistic Linear Logics.

Olivier Laurent

Published in: LICS (2018)

Keyphrases

classical logic
linear systems
neural network
machine learning
image sequences
modal logic
inference rules
theorem prover
fuzzy set theory
information retrieval
knowledge base
linear model
linear constraints
fuzzy information
valued logic
horn logic