LoGiX is a program for determining if certain logical expression are semantic consequences of some premises.