#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
19 ноября в 18:10 состоится заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Abstract Model Structures and Compactness Theorems.

Докладчик: Саянтан Рой (научный сотрудник МЛ ЛогЛинФФ).

Аннотация: The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the syntactic/semantic particularities of the corresponding logic. In this talk, using the notion of abstract model structures, we show that one can develop a generalized notion of compactness that is independent of these. Several characterization theorems for a particular class of compact abstract model structures are also proved.
_____________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1101848996.html

➰ ВК