Sequent calculus for logic of correlated knowledge

Haroldas  Giedra; Jūratė  Sakalauskaitė

doi:10.15388/LMR.2011.ml04

Straipsniai

Haroldas Giedra

Vilniaus universitetas

Jūratė Sakalauskaitė

Vilniaus universitetas

Publikuota 2011-12-15

https://doi.org/10.15388/LMR.2011.ml04

PDF

Reikšminiai žodžiai

bendroji žinių logika
koreliatyvių žinių logika
sekvencinis skaičiavimas

Kaip cituoti

Giedra, H. and Sakalauskaitė, J. (2011) “Sekvencinis skaičiavimas koreliatyvių žinių logikai”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 243–248. doi:10.15388/LMR.2011.ml04.

Atsisiųsti citatą

Santrauka

Darbe pristatomi pagrįsti ir pilni sekvenciniai skaičiavimai bendrąjai žinių logikai ir koreliatyvių žinių logikai.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T 60 (2019): A serija
Haroldas Giedra, Romas Alonderis, Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje , Lietuvos matematikos rinkinys: T 59 (2018): A serija
Haroldas Giedra, Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED) , Lietuvos matematikos rinkinys: T 51 (2010)
Jūratė Sakalauskaitė, Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai , Lietuvos matematikos rinkinys: T 51 (2010)
Jūratė Sakalauskaitė, Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku , Lietuvos matematikos rinkinys: T 52 (2011)
Jūratė Sakalauskaitė, Prefiksinės lentelės trireikšmėms modalinėms propozicinėms logikoms , Lietuvos matematikos rinkinys: 1997: Proc. of the Lithuanian Mathematical Society
Jūratė Sakalauskaitė, Semantinės lentelės su prefiksais žinojimo logikos praplėtimui , Lietuvos matematikos rinkinys: T 43 (2003)
Jūratė Sakalauskaitė, Lentelės daugiareikšmėms modalinėms propozicinėms logikoms , Lietuvos matematikos rinkinys: Nr. II (1998)