hrcak mascot   Srce   HID

Pregledni rad

Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova

Dora Kunović ; Filozofski fakultet Sveučilišta u Rijeci, Rijeka, Hrvatska

Puni tekst: hrvatski, pdf (534 KB) str. 54-87 preuzimanja: 149* citiraj
APA 6th Edition
Kunović, D. (2019). Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova. KRITiKA, 1 (1-2), 54-87. Preuzeto s https://hrcak.srce.hr/238939
MLA 8th Edition
Kunović, Dora. "Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." KRITiKA, vol. 1, br. 1-2, 2019, str. 54-87. https://hrcak.srce.hr/238939. Citirano 27.01.2021.
Chicago 17th Edition
Kunović, Dora. "Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova." KRITiKA 1, br. 1-2 (2019): 54-87. https://hrcak.srce.hr/238939
Harvard
Kunović, D. (2019). 'Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova', KRITiKA, 1(1-2), str. 54-87. Preuzeto s: https://hrcak.srce.hr/238939 (Datum pristupa: 27.01.2021.)
Vancouver
Kunović D. Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova. KRITiKA [Internet]. 2019 [pristupljeno 27.01.2021.];1(1-2):54-87. Dostupno na: https://hrcak.srce.hr/238939
IEEE
D. Kunović, "Dokaz metateorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova", KRITiKA, vol.1, br. 1-2, str. 54-87, 2019. [Online]. Dostupno na: https://hrcak.srce.hr/238939. [Citirano: 27.01.2021.]

Sažetak
Ovaj se rad bavi dokazom metateorema adekvatnosti za logiku sudova. Sustavi u kojima će se dokazivati sam metateorem adekvatnosti prirodna su dedukcija i račun sudova. Na samom početku bit će predstavljen povijesni pregled sustava računa sudova, kao i sustava prirodne dedukcije. Nakon toga bit će govora o simboličkoj logici općenito. U tom će se dijelu ukratko prikazati logika sudova, razlika između sintakse i semantike u logici sudova te će daljnji fokus biti na samoj sintaksi. Nadalje, pomnije će se predstaviti sustav prirodne dedukcije i račun sudova gdje će se posebno prikazati svako pravilo izvoda kao i aksiomi koji se vežu uz račun sudova. Zatim će se spomenuti osnovno o metateoremima potpunosti i adekvatnosti te će se prijeći na samu srž rada, a to je dokaz metateorema adekvatnosti za prirodnu dedukciju te za račun sudova.

Ključne riječi
metateorem adekvatnosti; dokaz metateorema adekvatnosti; prirodna dedukcija; račun sudova; izvodi; logika sudova

Hrčak ID: 238939

URI
https://hrcak.srce.hr/238939

Posjeta: 200 *