Abstract: The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus. The improvement is achieved by syntactic transformation of sequents into equivalent to them si

Summary: Šiame straipsnyje pateikiamas dalinis metodas leidžiantis gauti efektyvesnę sekvenciju˛ i˛rodymo paiešką propozicinei tiesinio laiko logikai, naudojant ciklini˛ sekvencini˛ skaičiavimą. Šis metodas yra pagri˛stas sintaksine sekvenciju˛ transformacija i˛ joms

en

Abstract: Weanalyzetheinitialvalueproblemandgetasymptoticexpansionsforsolution. We investigate the characteristic equation for Sturm–Liouville problem with one classical Robin type boundary condition and another two-point nonlocal boundary condition. Finally, we obtain

Summary: A. ŠtikonasMes analizuojame pradin˛i uždavini˛ ir gauname jo sprendinio asimptotinius skleidinius. Mes tiriame Sturmo ir Liuvilio uždavini˛ su su viena klasikine Robino tipo kraštine sąlyga ir kita dvitaške nelokalia kraštine sąlyga. Galiausiai gauname tikrin

en