Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 969161

Topološka potpunost logika dokazivosti

Mikec, Luka
Topološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb

CROSBI ID: 969161 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Topološka potpunost logika dokazivosti
(Topological completeness of provability logics)

Autori
Mikec, Luka

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet

Mjesto
Zagreb

Datum
19.09

Godina
2016

Stranica
66

Mentor
Vuković, Mladen ; Perkov, Tin

Ključne riječi
modalna logika ; logika dokazivosti ; topološka semantika
(modal logic ; provability logic ; topological semantics)

Sažetak
Izlaže se dokaz potpunosti sistema GLP, polimodalnog proširenja logike dokazivosti GL, u odnosu na topološku semantiku.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika



POVEZANOST RADA

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Sveučilište u Zagrebu

Profili:

Avatar Url Mladen Vuković (mentor)

Avatar Url Tin Perkov (mentor)

Avatar Url Luka Mikec (autor)

urn.nsk.hr

Citiraj ovu publikaciju:

Mikec, Luka
Topološka potpunost logika dokazivosti, 2016., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
Mikec, L. (2016) 'Topološka potpunost logika dokazivosti', diplomski rad, Prirodoslovno-matematički fakultet, Zagreb.
@phdthesis{phdthesis, author = {Mikec, Luka}, year = {2016}, pages = {66}, keywords = {modalna logika, logika dokazivosti, topolo\v{s}ka semantika}, title = {Topolo\v{s}ka potpunost logika dokazivosti}, keyword = {modalna logika, logika dokazivosti, topolo\v{s}ka semantika}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Mikec, Luka}, year = {2016}, pages = {66}, keywords = {modal logic, provability logic, topological semantics}, title = {Topological completeness of provability logics}, keyword = {modal logic, provability logic, topological semantics}, publisherplace = {Zagreb} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.