Zvonimir Šikić

Available identifiers

zbMath Open sikic.zvonimirMaRDI QIDQ2037986

List of research outcomes

Publication	Date of Publication	Type
On definitions in mathematics	2022-12-08	Paper
Kneale's natural deductions as a notational variant of Beth's tableaus	2022-09-01	Paper
Logic and applications -- LAP meeting	2021-07-08	Paper
Compounding objects	2020-10-15	Paper
Mathematical Logic: Mathematics of Logic or Logic of Mathematics	2020-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q3430014	2007-03-20	Paper
Mathematics, Physics and Music	2005-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4241056	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4327367	1995-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3984136	1992-06-27	Paper
A Proof of the Characterization Theorem for Consequence Relations	1991-01-01	Paper
Premiss tree proofs and logic of contradiction	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5753926	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3475254	1989-01-01	Paper
Cantor's Theorem and Paradoxical Classes	1986-01-01	Paper
On the Logical System L1	1986-01-01	Paper
Continuing Variations on a System of Gentzen	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3764236	1985-01-01	Paper
MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907553	1980-01-01	Paper

Research outcomes over time

This page was built for person: Zvonimir Šikić