Transformations of formulae of hybrid logic

Stanislovas  Norgėla; Linas  Petrauskas

doi:10.15388/LMR.2010.62

Straipsniai

Stanislovas Norgėla

Vilniaus universitetas

Linas Petrauskas

Vilniaus universitetas

Publikuota 2010-12-21

https://doi.org/10.15388/LMR.2010.62

PDF

Reikšminiai žodžiai

hibridinė logika
disjunktas

Kaip cituoti

Norgėla, S. ir Petrauskas, L. (2010) „Hibridinės logikos formulių transformavimas“, Lietuvos matematikos rinkinys, 51(proc. LMS), p. 342–346. doi:10.15388/LMR.2010.62.

Atsisiųsti citatą

Santrauka

Aprašytas tranzityvios ir refleksyvios hibridinės logikos H(@) formulių transformavimas į disjunktų aibę.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Stanislovas Norgėla, Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas , Lietuvos matematikos rinkinys: T 42 (2002)
Stanislovas Norgėla, Rezoliucijų metodas vienai modalumo logikos S4 klasei , Lietuvos matematikos rinkinys: T 44 (2004)

<< < 1 2