“Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.)сборник

Статьи, опубликованные в сборнике

---

• • 2010 О логиках, родственных логике, индуцированной исчислением V1 А. Арруда
  • Попов В.М.
  • в сборнике “Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.), серия Труды Математического центра имени Н.И. Лобачевского, место издания Казан. мат. об-во Казань, том 41, тезисы, с. 91-94
• 
  • 2010 Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда
  • Шангин В.О.
  • в сборнике “Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.), серия Труды Математического центра имени Н.И. Лобачевского, место издания Казан. мат. об-во Казань, том 41, тезисы, с. 106-108