Akademska digitalna zbirka SLovenije - logo
(UL)
  • Od klasične do linearne logike : magistrsko delo
    Kapš, Mateja
    Magistrsko delo nas vodi od izjavne klasične logike do izjavne klasične linearne logike in naprej v Lukasiewiczevo trivrednostno logiko. Najprej spoznamo različne ekvivalentne formalizacije teorije ... izjavne klasične logike, in sicer Hilbertov sistem izjavnega računa (sistem ▫${\cal H}_I$▫), sistem naravne dedukcije (sistem ▫${\cal ND}_I$▫) in Gentzenov sistem izjavnega računa (sistem ▫${\cal G}_I$▫. S pomočjo izrekov o zdravju in popolnosti teorij ▫${\cal H}_I$▫ in ▫${\cal G}_I$▫ glede na razred modelov valuacij ▫${\cal V}al$▫ je pokazana ekvivalenca sistemov ▫${\cal H}_I$▫ in ▫${\cal G}_I$▫. Ekvivalenca sistemov ▫${\cal H}_I$▫ in ▫${\cal ND}_I$▫ je pokazana s pomočjo izrekov o zdravju in popolnosti oziroma s pomočjo posplošenih izrekov o zdravju in popolnosti teorij ▫${\cal H}_I$▫ in ▫${\cal ND}_I$▫ glede na razred modelov valuacij ▫${\cal V}al$▫. V nadaljevanju se opredelimo na sistem ▫${\cal G}_I$▫ iz katerega izvzamemo strukturni pravili skrčitve in ošibitve. To nas vodi v linearno logiko; dobimo namreč Gentzenov sistem izjavne klasične linearne logike (sistem ▫${\cal G}_{IKLL}$▫). Potem ko podamo aksiomski sestav sistema ▫${\cal G}_{IKLL}$▫, zapišemo in dokažemo tudi izrek o vložitvi izjavne klasične logike v izjavno klasično linearno logiko. Nazadnje se opredelimo še na multiplikativno - aditivno linearno logiko, ki jo obogatimo s strukturnima praviloma ošibitve in omejene skrčitve. Na ta način pridemo do Lukasiewiczeve večvrednostne logike, pri čemer se opredelimo na Lukasiewiczevo trivrednostno logiko.
    Type of material - master's thesis ; adult, serious
    Publication and manufacture - Ljubljana : [M. Kapš], 2001
    Language - slovenian
    COBISS.SI-ID - 11228761

Library Call number – location, accession no. ... Copy status
FMF, Mathematical Library, Lj. Skladišče-Jadranska 21

11052/25 		available - reading room
loading ...
loading ...
loading ...

Shelf entry