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 <[email protected]> --- 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 [email protected]. 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.
