Wednesday June 28, at 4pm CET (Paris-Geneva-Rome), we will have one more session of the Logica Universalis Webinar (LUW). -------------------------------------------------------------------------------------------------- Speaker: Krzysztof A. Krawczyk, Jagiellonian University, Kraków, Poland Title: Ultravaluations and their Applications in Classical Propositional Logic Abstract: This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability. https://link.springer.com/article/10.1007/s11787-023-00329-9
Associate Organization: Kraków Logic Group and CLoCk, presented by Tomasz Kowalski Chair: Eunsuk Yang, Editorial Board LU Everybody is welcome to attend, register here. https://cassyni.com/s/logica-universalis/seminars/ ---------------------------------------------------------------------------------------------------------------- Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer Logica Universalis Webinar https://philpeople.org/profiles/jean-yves-beziau -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBckiv_ZkHYgdGHXfxVd0UO9UwJMpgFmgwA7%2ByfSM2LEA%40mail.gmail.com.
