Deductive Logic Releases