A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics.
Pedro H. Azevedo de AmorimPublished in: CoRR (2022)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- operational semantics
- semantic interpretation
- fixed point
- definition language
- high level
- predicate calculus
- cut elimination
- inference rules
- proof search
- desirable properties
- sequent calculus
- nonmonotonic reasoning
- rule language
- logic programs
- natural language
- model theoretic
- lexical semantics
- proof theory
- reasoning tasks
- machine learning
- attribute values
- general purpose
- probabilistic model
- pairwise
- computational complexity
- reinforcement learning
- knowledge base