The Deduction Theorem for Quantum Logic - Some Negative Results. - Jacek Malinowski (J. Symb. Log., 1990)

Strong Versus Weak Quantum Consequence Operations. - Jacek Malinowski (Stud Logica, 1992)

Non-binary decomposition trees - a method of reliability computation for systems with known minimal paths/cuts. - Jacek Malinowski (Reliab. Eng. Syst. Saf., 2004)

Node-pair reliability of network systems with small distances between adjacent nodes. - Jacek Malinowski (Reliab. Eng. Syst. Saf., 2007)

From Logic to Mathematical Philosophy. - David Makinson; Jacek Malinowski; Heinrich Wansing (Towards Mathematical Philosophy, 2009)

Foreword. - Janusz Czelakowski; Wieslaw Dziobiak; Jacek Malinowski (Stud Logica, 2011)

A Monte Carlo Method for Estimating Reliability Parameters of a Complex Repairable Technical System With Inter-Component Dependencies. - Jacek Malinowski (IEEE Trans. Reliab., 2013)

Reliability Analysis of a Flow Network with a Series-Parallel-Reducible Structure. - Jacek Malinowski (IEEE Trans. Reliab., 2016)

Obituary. - Jacek Malinowski (Stud Logica, 2025)