Obserwuj
Vedran Čačić
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Zweryfikowany adres z math.pmf.unizg.hr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
A note on bisimulation and modal equivalence in provability logic and Interpretability Logic
V Čačić, D Vrgoč
Studia Logica 101, 31-44, 2013
112013
A note on normal forms for the closed fragment of system IL
V Čačić, M Vuković
Mathematical communications 17 (1), 195-204, 2012
62012
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
T Adlešić, V Čačić
Bulletin of the Section of Logic 52 (4), 551-581, 2023
42023
Computable subcontinua of semicomputable chainable Hausdorff continua
V Čačić, M Horvat, Z Iljazović
Theoretical Computer Science 892, 155-169, 2021
42021
Zbirka zadataka iz teorije skupova
FM Brückler, V Čačić, M Doko, M Vuković
Sveucilište u Zagrebu, PMF-Matematicki odsjek, Zagreb, 2009
42009
A Modern Rigorous Approach to Stratification in NF/NFU
T Adlešić, V Čačić
Logica Universalis 16 (3), 451-468, 2022
32022
On the share of closed IL formulas which are also in GL
V Čačić, V Kovač
Archive for mathematical logic 54 (7-8), 741-767, 2015
32015
Decorated linear order types and the theory of concatenation
V Čačić, P Pudlák, G Restall, A Urquhart, A Visser
Logic Group Preprint Series 258, 2007
22007
Interpretability logic IL does not have finite subtree property
V Čačić, M Vuković
Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 1-5, 2014
12014
Boffa’s construction and models for NFU
T Adlešić, V Čačić
Studia Logica, 1-25, 2024
2024
Computable Approximations of Semicomputable Graphs
V Čačić, M Čelar, M Horvat, Z Iljazović
arXiv preprint arXiv:2411.13672, 2024
2024
Tarski's theorem about choice and the alternative axiomatic extension of NFU
T Adlešić, V Čačić
Bulletin of the Section of Logic, 31 pp.-31 pp., 2023
2023
Logical induction
V Čačić
World Logic Day 2023 Zagreb Book of Abstracts, 3-3, 2023
2023
Formalizing assignment of types to terms in NFU.
T Adlešić, V Čačić
2022 LOGIC COLLOQUIUM: SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC …, 2022
2022
Alternative axiomatization of NFU
T Adlešić, V Čačić
Logic and Applications LAP 2022, 5-6, 2022
2022
Formal approach to stratification in NF/NFU
T Adlešić, V Čačić
Logic and Applications LAP 2021, 5-6, 2021
2021
Rearranging absolutely convergent well-ordered series in Banach spaces
V Čačić, M Doko, M Horvat
Rad Hrvatske akademije znanosti i umjetnosti: Matematičke znanosti, 1-11, 2019
2019
Complexity of some fragments of description logics
V Čačić, EV Kostylev, JL Reutter, D Vrgoć
Logic Colloquium 2019, 232, 2019
2019
On the share of closed IL formulas which are also in GL
V Kovač, V Čačić
Archive for mathematical logic 54 (7), 741-767, 2015
2015
Logičko programiranje
V Čačić, P Paradžik, M Vuković
Math. e 26 (1), 1-17, 2014
2014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20