Syllogisms in Rudimentary Linear Logic, Diagrammatically.

Published in: J. Log. Lang. Inf. (2013)

Keyphrases

linear logic
fixed point
logical framework
logic programming
proof theoretic
desirable properties
sequent calculus
proof search
cut elimination
intuitionistic logic
expert systems
sufficient conditions
database systems
multi view
utility function
qualitative and quantitative