Ultravaluations and their Applications in Classical Propositional Logic - LUWebinar, June 28, 4pm CET

8 views

Skip to first unread message

jean-yves beziau

unread,

Jun 26, 2023, 9:16:56 PM6/26/23

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

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