On Proof Terms and Embeddings of Classical Substructural Logics.

Ken-etsu Fujita

Published in: Stud Logica (1998)

Keyphrases

propositional calculus
proof theory
information retrieval
higher order
databases
search engine
dimensionality reduction
decision procedures