Title: Proofs, Search and Computation in General Logic