Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
October 23, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
 


Constructive logic N4 and connexive logic C: similarities and differences

S. P. Odintsov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Video records:
MP4 290.0 Mb

Number of views:
This page:125
Video files:56



Abstract: Конструктивная логика Нельсона с сильным отрицанием N4 и предложенная Вансингом логика C относятся к разным направлениям неклассической логики. Первая (N4) является альтернативной формализацией интуиционистской логики, а вторая относится к семейству коннексивных логик, основанных на идеях Аристотеля и Боэция. Обе логики, тем не менее, обладают сходными реляционными семантиками, а также следующей отличительной чертой. Логики N4 и C не замкнуты относительно правила замены эквивалентных, но замкнуты относительно слабых форм этого правила. Именно данное обстоятельство определяет вид алгебраической семантики данных логик. Как N4, так и C задаются при помощи твист-структур над импликативными решётками. Это алгебраические системы, которые заданы на декартовом квадрате носителя импликативной решётки, при этом операции задаются не покомпонентно, как на декартовом произведении, а скручиваются определенным образом.
В данном докладе мы установим, что логики N4 и C и их обогащения константой абсурд (\bot) алгебраизуемы в смысле Блока и Пигоцци, причём их эквивалентные алгебраические семантики являются многообразиями, элементы которых представимы в виде твист-структур. Кроме того, мы рассмотрим параметры, определяющие соответствующие твист-структуры, и сравним строение решёток расширений логик N4 и C.
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024