Regimantas Ricardas Pliuskevicius
Original record- Institution
- Steklov Institute of Mathematics
- Year
- 1967
- Country
- Russia
- MGP identifier
- 134085
Dissertation: Sequent Calculi of Constructive Logic without Structural Inference Rules for Normal Formulas
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Vilius MatulisSt. Petersburg State University · 1964
- Grigori Efroimovich MintsSt. Petersburg State University · 1965
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Romas Alondeiris | Vilniaus universitetas | 2001 | 0 |
| Julius Andrikonis | Vilniaus universitetas | 2011 | 0 |
| Adomas Birstunas | Vilniaus universitetas | 2010 | 0 |
| Haroldas Giedra | Vilniaus universitetas | 2014 | 0 |
| Livija Maliaukiene | Steklov Institute of Mathematics | 1989 | 0 |
| Jurate Sakalauskaite | Steklov Institute of Mathematics | 1986 | 0 |