Multiple Forms of Gentzen's Rules and Some Intermediate Logics. - Zvonimir Sikic (Math. Log. Q., 1984)

Continuing Variations on a System of Gentzen. - Zvonimir Sikic (Math. Log. Q., 1985)

Cantor's Theorem and Paradoxical Classes. - Zvonimir Sikic (Math. Log. Q., 1986)

On the Logical System L1. - Zvonimir Sikic (Math. Log. Q., 1986)

Premiss tree proofs and logic of contradiction. - Zvonimir Sikic (Math. Log. Q., 1990)

A Proof of the Characterization Theorem for Consequence Relations. - Zvonimir Sikic (Math. Log. Q., 1991)

Logic and Applications - LAP Meeting. - Zvonimir Sikic; Silvia Ghilezan; Zoran Ognjanovic; Thomas Studer (Logic, Language, and Security, 2020)

Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus. - Zvonimir Sikic (Logica Universalis, 2022)