Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais
Straipsniai
Romas Alonderis
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml01
PDF

Reikšminiai žodžiai

laiko logika
sekvencinis skaičiavimas
Kripkės semantikos internalizacija

Kaip cituoti

Alonderis R. (2011) „Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 225–230. doi: 10.15388/LMR.2011.ml01.

Santrauka

Straipsnyje yra pateiktas sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. Šis skaičiavimas yra gautas Kripkės semantikos internalizacijos būdu. Šiame skaičiavime leistinos struktūrinės bei pjūvio taisyklės. Visos jo taisyklės yra nepriklausomos nuo konteksto ir apverčiamos. Šis skaičiavimas yra korektiškas ir pilnas.

 

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.