| 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 |
|