Pregled bibliografske jedinice broj: 1247386
A modern rigorous approach to stratification in NF/NFU
A modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session
Chania, Grčka, 2022. str. 5-5 (predavanje, nije recenziran, sažetak, znanstveni)
CROSBI ID: 1247386 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A modern rigorous approach to stratification in
NF/NFU
Autori
Adlešić, Tin ; Čačić, Vedran
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
7th World Congress and School on Universal Logic - Schedule of the General Session
/ - , 2022, 5-5
Skup
7th World Congress and School on Universal Logic (UNILOG 2022)
Mjesto i datum
Chania, Grčka, 01.04.2022. - 11.04.2022
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Nije recenziran
Ključne riječi
Quine’s New Foundations ; stratification ; stratified formulas
Sažetak
Formalization of syntactical notions of theory NF/NFU and its application to the same theory.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Učiteljski fakultet, Zagreb
