Completeness of MLL proof-nets w.r.t. weak distributivity.

Jean-Baptiste Joinet

Published in: J. Symb. Log. (2007)

Keyphrases

theorem proving
linear logic
data mining
database systems
data quality
theorem prover
formal proof
real time
data sets
information systems
decision making
e learning
web services
lower bound
automated theorem proving