Zobrazeno 1 - 10 of 30 pro vyhledávání: '"Zvonimir Šikić"'
1
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus
Autor: Zvonimir Šikić
Publikováno v: Logica Universalis. 16:11-26
Gentzen’s singular sequential system of first-order logic was an alternative notation for his system of natural deductions. His multiple sequential system was his symmetric generalization that was more appropriate to classical logic. Beth’s table
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0d0459bbe6367d299ac88c159bc57697
https://doi.org/10.1007/s11787-021-00279-0
Zobrazit plný text záznamu
3
Compounding Objects
Autor: Zvonimir Šikić
Publikováno v: Bulletin of the Section of Logic. 49
We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which is actually unconvincing i
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f29dffef126ddfc22fb9c469f036e55a
https://doi.org/10.18778/0138-0680.2020.10
Zobrazit plný text záznamu
4
Logic and Applications - LAP Meeting
Autor: Thomas Studer, Zvonimir Šikić, Silvia Ghilezan, Zoran Ognjanović
Publikováno v: Logic, Language, and Security ISBN: 9783030620769
Logic, Language, and Security
The aim of this note is to bring your attention to Prof. Scedrov’s role and impact in the foundation and shaping the practice of the scientific meeting Logic and Application as well as its regular organization.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6ec7452b57e60e50d523af99fb006ee9
https://doi.org/10.1007/978-3-030-62077-6_8
Zobrazit plný text záznamu
5
Mathematical Logic: Mathematics of Logic or Logic of Mathematics
Autor: Zvonimir Šikić
Publikováno v: Guide to Deep Learning Basics ISBN: 9783030375904
This brief historical survey is written from a logical point of view. It is a rational reconstruction of the genesis of some interrelations between formal logic and mathematics. We examine how mathematical logic was conceived: as the abstract mathema
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::493053bd64b679ad4da2ccb52b98786e
https://doi.org/10.1007/978-3-030-37591-1_1
Zobrazit plný text záznamu
10
On probable conditionals
Autor: Zvonimir Šikić
Publikováno v: European Journal of Analytic Philosophy
Volume 11
Issue 2
We compare supports A↑B (i.e. pr(B|A)> p r (B )) with conditionals A → B and prove that the basic properties of supports are exactly the opposite to those of conditionals.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______951::a85e58599e84d1e6b45fe22e1aede183
https://hrcak.srce.hr/161872
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje