default search action

combined dblp search
author search
venue search
publication search

ask others

Zvonimir Sikic

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/Sikic22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/Sikic22
Zvonimir Sikic:
Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus. Logica Universalis 16(1-2): 11-26 (2022)
1991
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic91
Zvonimir Sikic:
A Proof of the Characterization Theorem for Consequence Relations. Math. Log. Q. 37(2-4): 41-43 (1991)
1990
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic90
Zvonimir Sikic:
Premiss tree proofs and logic of contradiction. Math. Log. Q. 36(3): 273-280 (1990)
1986
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic86
Zvonimir Sikic:
Cantor's Theorem and Paradoxical Classes. Math. Log. Q. 32(13-16): 221-226 (1986)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic86a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic86a
Zvonimir Sikic:
On the Logical System L₁. Math. Log. Q. 32(19-24): 349-353 (1986)
1985
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic85
Zvonimir Sikic:
Continuing Variations on a System of Gentzen. Math. Log. Q. 31(31-34): 537-544 (1985)
1984
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/Sikic84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/Sikic84
Zvonimir Sikic:
Multiple Forms of Gentzen's Rules and Some Intermediate Logics. Math. Log. Q. 30(19-24): 335-338 (1984)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SikicGOS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SikicGOS20
Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer:
Logic and Applications - LAP Meeting. Logic, Language, and Security 2020: 98-100

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.