: Petrovic's work on dialectical logic represents a critical engagement with both traditional formal logic and the dialectical materialist philosophy. He aimed to show how a dialectical approach to logic could offer a more nuanced understanding of reality.