Login / Signup
Syllogisms in Rudimentary Linear Logic, Diagrammatically.
Ruggero Pagnan
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