Back to Search
Start Over
More efficient proof-search for sequents of temporal logic
- Source :
- Lietuvos Matematikos Rinkinys, Vol 63, Iss A (2022)
- Publication Year :
- 2022
- Publisher :
- Vilnius University Press, 2022.
-
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 simpler ones. It is proved that some formulas can be removed from sequents with no impact on their derivability.
- Subjects :
- temporal logics
backward proof-search
loop-type sequent calculi
Mathematics
QA1-939
Subjects
Details
- Language :
- English, Lithuanian
- ISSN :
- 01322818 and 2335898X
- Volume :
- 63
- Issue :
- A
- Database :
- Directory of Open Access Journals
- Journal :
- Lietuvos Matematikos Rinkinys
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.fb00cc933d43ef83d7d32d17663c7b
- Document Type :
- article
- Full Text :
- https://doi.org/10.15388/LMR.2022.29752