Kai kurios išsprendžiamos modalinės logikos S5 klasės
Straipsniai
Stasys Norgėla
Vilniaus universitetas image/svg+xml
Publikuota 1999-12-17
https://doi.org/10.15388/LMD.1999.35643
PDF

Kaip cituoti

Norgėla, S. (1999) „Kai kurios išsprendžiamos modalinės logikos S5 klasės“, Lietuvos matematikos rinkinys, 39(III), p. 322–325. doi:10.15388/LMD.1999.35643.
Nr. III (1999)

Kai kurios išsprendžiamos modalinės logikos S5 klasės

Anotacija

Naudojantis Maslovo atvirkštiniu metodu  įrodomas kai kurių modalinės logikos S5 klasių su vienvieči­ais predikatiniais kintamaisiais išsprendžiamumas pagal išvedimą.

PDF

Nuorodos

Creative Commons License

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

Atsisiuntimai

Nėra atsisiuntimų.

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