Zvonimir Sikic

According to our database, Zvonimir Sikic authored at least 8 papers between 1984 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus.

Zvonimir Sikic

Logica Universalis, 2022

2020

Logic and Applications - LAP Meeting.

Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer

Proceedings of the Logic, 2020

1991

A Proof of the Characterization Theorem for Consequence Relations.

Zvonimir Sikic

Math. Log. Q., 1991

1990

Premiss tree proofs and logic of contradiction.

Zvonimir Sikic

Math. Log. Q., 1990

1986

On the Logical System L₁.

Zvonimir Sikic

Math. Log. Q., 1986

Cantor's Theorem and Paradoxical Classes.

Zvonimir Sikic

Math. Log. Q., 1986

1985

Continuing Variations on a System of Gentzen.

Zvonimir Sikic

Math. Log. Q., 1985

1984

Multiple Forms of Gentzen's Rules and Some Intermediate Logics.

Zvonimir Sikic

Math. Log. Q., 1984