Tableaus for finitely-valued modal propositional logics

Jūratė Sakalauskaitė

doi:10.15388/LMD.1998.37922

Straipsniai

Jūratė Sakalauskaitė

Institute of Mathematics and Informatics

Publikuota 1998-12-14

https://doi.org/10.15388/LMD.1998.37922

PDF

Kaip cituoti

Sakalauskaitė, J. (1998) „Lentelės daugiareikšmėms modalinėms propozicinėms logikoms“, Lietuvos matematikos rinkinys, 38(II), p. 302–307 . doi:10.15388/LMD.1998.37922.

Atsisiųsti citatas

Anotacija

Pateiktos lentelių sistemos daugiareikšmėms modalinėms propozicinėms logikoms. Šioms sistemoms įrodytos neprieštaringumo ir pilnumo teoremos.

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

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ė, Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku , 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)