Studies in Universal Logic