Transformations of formulae of hybrid logic

Stanislovas  Norgėla; Linas  Petrauskas

doi:10.15388/LMR.2010.62

Straipsniai

Stanislovas Norgėla

Vilnius University

Linas Petrauskas

Vilnius University

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. and Petrauskas, L. (2010) “Hibridinės logikos formulių transformavimas”, Lietuvos matematikos rinkinys, 51(proc. LMS), pp. 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, Kai kurios išsprendžiamos modalumo logikos S4 klasės , Lietuvos matematikos rinkinys: T 41 (2001)

<< < 1 2