Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 360081

Istinitosno stablo: podrijetlo i primjena

Grisogono, Lovre
Istinitosno stablo: podrijetlo i primjena, 2008., diplomski rad, Hrvatski studiji, Zagreb

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

Naslov
Istinitosno stablo: podrijetlo i primjena
(Truth tree: the origin and application)

Autori
Grisogono, Lovre

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Hrvatski studiji

Mjesto
Zagreb

Datum
24.06

Godina
2008

Stranica
32

Mentor
Kovač, Srećko

Ključne riječi
Bethov tableau; istinitosno stablo; neklasične logike; tableau; viševrijednosne logike
(Beth tableau; many-valued logics; non-classical logics; tableau; truth tree)

Sažetak
Uspoređuje se Bethov tableau i istinitosno stablo prema obziru na složenost postupka. Analiziraju se promjene u stablu potrebne pri primjeni na neke viševrijednosne logike.

Izvorni jezik
Hrvatski

Znanstvena područja
Filozofija



POVEZANOST RADA

Projekti:
191-1911111-2730 - Logičke strukture i intencionalnost (Kovač, Srećko, MZOS ) ( CroRIS)

Ustanove:
Institut za filozofiju, Zagreb

Profili:

Avatar Url Srećko Kovač (mentor)

Citiraj ovu publikaciju:

Grisogono, Lovre
Istinitosno stablo: podrijetlo i primjena, 2008., diplomski rad, Hrvatski studiji, Zagreb
Grisogono, L. (2008) 'Istinitosno stablo: podrijetlo i primjena', diplomski rad, Hrvatski studiji, Zagreb.
@phdthesis{phdthesis, author = {Grisogono, Lovre}, year = {2008}, pages = {32}, keywords = {Bethov tableau, istinitosno stablo, neklasi\v{c}ne logike, tableau, vi\v{s}evrijednosne logike}, title = {Istinitosno stablo: podrijetlo i primjena}, keyword = {Bethov tableau, istinitosno stablo, neklasi\v{c}ne logike, tableau, vi\v{s}evrijednosne logike}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Grisogono, Lovre}, year = {2008}, pages = {32}, keywords = {Beth tableau, many-valued logics, non-classical logics, tableau, truth tree}, title = {Truth tree: the origin and application}, keyword = {Beth tableau, many-valued logics, non-classical logics, tableau, truth tree}, publisherplace = {Zagreb} }

Podijeli:





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