КАТЕГОРНАЯ ЛОГИКА

первая. Импликативные дедуктивные системы и дедуктивные экспоненциальные категорииЛамбековские дедуктивные системы и дедуктивные категорииПереводы, функторы и естественные преобразованияДедуктивные импликативные системыЭкспоненциальные дедуктивные категорииСеквенциальные импликативные дедуктивные системыЭкспоненциальные дедуктивные мультикатегорииСвободные экспоненциальные дедуктивные мультикатегорииДуальные импликативные дедуктивные системы и коэкспо- ненциальные дедуктивные категорииЭкспоненциальные дедуктивные поликатегориивторая. Дедуктивные системы и дедуктивные категорииКонъюнктивные и дизъюнктивные дедуктивные системыДекартовы и декартово замкнутые дедуктивные категорииДекартово бизамкнутые дедуктивные категорииПодструктурные дедуктивные категорииПодструктурные дедуктивные мультикатегорииУстранение сечения в подструктурных дедуктивных мультикатегорияхГенценовские дедуктивные мультикатегорииитретья. Многоуровневые дедуктивные системы и дедуктивные л-категорииИмпликативные секвенциальные двухуровневые дедуктивные системыСеквенциальные двухуровневые дедуктивные системыДвухуровневая теорема дедукцииМодальный аналог двухуровневой теоремы дедукцииМногоуровневые дедуктивные системы и дедуктивные п- категориичетвертая. Сопряжение и когерентностьПредсопряжение в дедуктивных системахСопряжение в дедуктивных категорияхУстранение сечения в свободных сопряженияхСвободное сопряжение и когерентностьКогерентность в декартово замкнутых генценовских дедуктивных мультикатегорияхпятая. Логические исчисления в категориях предпорядка с функторамиКлассическая логика в N-категорияхИнтуиционистская логика в N-категорияхИсчисления Айдукевича-Ламбека в S-категорияхМодальная логика в MN-категорияхПаранепротиворечивая логика в CN-категорияхРелевантная логика в R.N-категорияхшестая. Интерпретация секвенций в ситусахПредтопологии в категориях предпорядкаСеквенции в Н-ситусах (интуиционистская логика)Секвенции в коситусах (логика Брауэра)Секвенции в биситусах (Н-В логика)Секвенции в полиситусах (классическая логика)Секвенции в Ра-ситусахседьмая. Логические исчисления в топосахРелевантная логика в топосахПаранепротиворечивая логика в топосахИсчисления Айдукевича-Ламбека в голосах
 
  РЕЗЮМЕ   След >