Logic Paradigms Project