Title: Studies in deductive logic