Zvonimir Sikic

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 2

Top Topics

Predicate Logic

Sound And Complete Axiomatization

Top Venues

Logica Universalis

Logic, Language, and Security

Publications

Zvonimir Sikic
Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus. Logica Universalis 16 (1-2) (2022)
Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer
Logic and Applications - LAP Meeting. Logic, Language, and Security (2020)
Zvonimir Sikic
A Proof of the Characterization Theorem for Consequence Relations. Math. Log. Q. 37 (2-4) (1991)
Zvonimir Sikic
Premiss tree proofs and logic of contradiction. Math. Log. Q. 36 (3) (1990)
Zvonimir Sikic
. Math. Log. Q. 32 (19-24) (1986)
Zvonimir Sikic
Cantor's Theorem and Paradoxical Classes. Math. Log. Q. 32 (13-16) (1986)
Zvonimir Sikic
Continuing Variations on a System of Gentzen. Math. Log. Q. 31 (31-34) (1985)
Zvonimir Sikic
Multiple Forms of Gentzen's Rules and Some Intermediate Logics. Math. Log. Q. 30 (19-24) (1984)