-
Od klasične do linearne logike : magistrsko deloKapš, MatejaMagistrsko 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.Vrsta gradiva - magistrsko delo ; neleposlovje za odrasleZaložništvo in izdelava - Ljubljana : [M. Kapš], 2001Jezik - slovenskiCOBISS.SI-ID - 11228761
Avtor
Kapš, Mateja
Drugi avtorji
Prijatelj, Andreja
Teme
izjavna klasična logika |
izjavna klasična linearna logika |
Lukasiewiczeva trivrednostna logika |
formalizacija |
Hilbertov sistem |
sistem naravne dedukcije |
Gentzenov sistem |
ekvivalenca normalnih sestavov |
vložitev |
omejena skrčitev |
prepositional classical logic |
prepositional classical linear logic |
three-valued Lukasiewicz logic |
formalization |
Hilbert-type system |
system of natural deduction |
Gentzen-type system |
equivalence of formal systems |
embedding |
bounded contraction
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana | Skladišče-Jadranska 21 11052/25 |
prosto - za čitalnico |
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Kapš, Mateja | |
Prijatelj, Andreja | 05954 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.