Terminist logic · Study