Projekti / Programi
Popolnost linearne logike z vidika omejenih strukturnih pravil
Koda |
Veda |
Področje |
Podpodročje |
1.01.04 |
Naravoslovje |
Matematika |
Algebra |
Koda |
Veda |
Področje |
P110 |
Naravoslovno-matematične vede |
Matematična logika, teorija množic, kombinatorika |
Prosta urejena algebra, prosta mreža, popoln razred modelov, semantika iger, izrek o porazdelitvi, metoda ''forcing''.
Raziskovalci (2)
št. |
Evidenčna št. |
Ime in priimek |
Razisk. področje |
Vloga |
Obdobje |
Štev. publikacijŠtev. publikacij |
1. |
20757 |
dr. Gregor Dolinar |
Matematika |
Raziskovalec |
2000 - 2002 |
15 |
2. |
05954 |
dr. Andreja Prijatelj |
Matematika |
Vodja |
2000 - 2002 |
56 |
Organizacije (1)
Povzetek
Predlog pričujočega raziskovalnega projekta temelji na poglobljenih raziskavah linearne logike z vidika omejenih strukturnih pravil s poudarkom na:
(i) konstrukcijah pripadajočih prostih urejenih algebrskih struktur, še posebej proste mreze generirane s prostimi urejenimi algebrami;
(ii) opredelitvi popolnega razreda modelov za specifične aksiomatične sisteme linearne logike brez modalnosti, ki so zvesto vložljivi v linearno logiko.
Rešitev tega problema je ključnega pomena za razvoj popolne semantike, različne od čisto algebraične, za polno, izjavno linearno logiko (odprti problem iz leta 1987).
Naposled bo raziskana koristna zveza med dokazovalnimi metodami v logiki in teoriji množic s študijem:
(iii) relacije med dvema inačicama dokaza neodvisnosti aksioma izbire v Zermelo-Fraenkel-ovi teoriji množic. Prvi temelji na izreku o porazdelitvi v Ramsey-evem smislu in
drugi na slavni metodi ''forcing''.