have you heard of this logician

[juan_gandhi]

https://mathshistory.st-andrews.ac.uk/Biographies/Poretsky/ 

Comments

[vak]

О, мой земляк, родом из Лохвицы. Это 80 км от Прилук.

[chaource]

All his contributions to logic are probably irrelevant, given the capabilities of today's SMT solvers.

[juan_gandhi]

I'm impressed by your pessimism.

[chaource]

It seems that Poretsky studied methods for solving logical equations. That's what SMT solvers are for. They can solve everything from Boolean equation systems to classical syllogisms. We don't need any specialized methods any more in those domains.