Polish notation
While no longer used much in logic, Polish notation has since found a place in computer science.