| Title | Relation between classical and intuitionistic sequent calculi of temporal logic |
|---|---|
| Translation of Title | Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų. |
| Authors | Alonderis, Romas |
| DOI | 10.15388/LMR.2001.34620 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys.. Vilnius. 2001, t. 41, spec. nr., p. 403-407.. ISSN 0132-2818. eISSN 2335-898X |
| Published | Vilnius |
| Type | Journal article |
| Language | English |
| Publication date | 2001 |
| CC license |
|