Predicate and Set-Theoretic Calculi Based on Logic Without Contractions | Synapse