Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic.

Published in: CoRR (2021)

Keyphrases

linear logic
proof search
proof theoretic
logic programming
cut elimination
sequent calculus
fixed point
desirable properties
intuitionistic logic
semantic web
high level
logical framework
natural language
semantic information
artificial intelligence
categorical data
pairwise
similarity measure