Logics by John Nolt