| Title |
Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and / |
| Translation of Title |
Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime. |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMR.2002.32977 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius. 2002, t. 42, spec. nr., p. 461-465.. ISSN 0132-2818. eISSN 2335-898X |
| Published |
Vilnius |
| Type |
Journal article |
| Language |
English |
| Publication date |
2002 |
| CC license |
|
