Pliuškevičius Regimantas

Publications in Math-Net.Ru

1. Intertible infinitary calculus without loop rules for a restricted FTL
   
   Zap. Nauchn. Sem. POMI, 293 (2002),  149–180
2. Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
   
   Zap. Nauchn. Sem. POMI, 220 (1995),  123–144
3. A version of the constructive calculus of predicates without structural deduction rules
   
   Dokl. Akad. Nauk SSSR, 161:2 (1965),  292–295


4. Nikolai Aleksandrovich Shanin (obituary)
   
   Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176