@screwtape @webhat
Vaughn Pratt was himself a Lisp programmer, and implemented CGOL as a Maclisp reader.
He was at Stanford and MIT, and Berkeley pre-Unix, so there's no reason to think he was aware of the 'dc' RPN arithmetic tool, and the paper you reference is earlier than HP's RPN handheld calculators, which had a very loyal following.
But was there a specific question?
P.S. "Polish notation" is the most common name (after 'postfix') for operators following operands, just as Reverse Polish Notation (RPN) is the most common name (after 'prefix') for operators preceding operands.
'The description "Polish" refers to the nationality of logician Jan Łukasiewicz' but people in the early 20th century had a tough time with Polish names so they used a nickname.
He was famous for multiple things, though, for instance continuous (real-) valued logic, which in a hypothetical infinitely precise analog computer would allow hypercomputation -- computation beyond what is possible for Turing machines.
https://en.wikipedia.org/wiki/Polish_notation
https://en.wikipedia.org/wiki/Jan_%C5%81ukasiewicz