Seminarium „Logika i teoria typów”

Organizatorzy

• dr hab. Aleksy Schubert, prof. UW
• prof. dr hab. Paweł Urzyczyn

Informacje

Strona domowa

Dziedziny badań

• Logika w informatyce
• Teoria automatów

Lista referatów

• 13 grudnia 2024 12:15
  Jan Kostrzon (MIMUW)
  Relevant S is undecidable (Nierozstrzygalność relewantnej logiki S)
  W swoim wystąpieniu zreferuję artykuł Sørena Knudstorpa pt. „Relevant S is undecidable” z LICS'24. Zacznę od podania definicji modeli półkratowych, następnie pokażę dowód, że logika S nie ma własności modelu skończonego (Finite Model Property). Na …

  ---

• 6 grudnia 2024 12:15
  Aleksy Schubert (MIMUW)
  Higher-order matching, unfolding and recapitulation (Dopasowanie wyższego rzędu, rozwijanie i podsumowanie)
  

  ---

• 29 listopada 2024 12:15
  Aleksy Schubert (MIMUW)
  Higher-order matching, transformations T1 and T2 and 4th order matching (Dopasowanie wyższego rzędu, transformacje T1 i T2 oraz dopasowanie czwartego rzędu)
  

  ---