Partial cut elimination for combinations of propositional multi-modal logics with past time

Jūratė  Sakalauskaitė

doi:10.15388/LMR.2011.ml07

Straipsniai

Jūratė Sakalauskaitė

Vilniaus universitetas

Publikuota 2011-12-15

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

PDF

Esminiai žodžiai

modalumų logika
laiko logika
sekvencinis skaičiavimas
pjūvis

Kaip cituoti

Sakalauskaitė, J. (2011) „Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 257–261. doi:10.15388/LMR.2011.ml07.

Atsisiųsti citatas

Anotacija

Pateikiami sekvenciniai skaičiavimai daugiamodalumų logikų ir praeities laiko logikos junginiams. Įrodomas šių skaičiavimų pilnumas su apribota pjūvio taisykle. Kaip išvada plaukia šių junginių išsprendžiamumas.

PDF

Nuorodos

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

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ė, Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai , Lietuvos matematikos rinkinys: T. 51 (2010)
Haroldas Giedra, Jūratė Sakalauskaitė, Sekvencinis skaičiavimas koreliatyvių žinių logikai , Lietuvos matematikos rinkinys: T. 52 (2011)
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)