The next session of the Logica Universalis Webinar will take place Wednesday December 17, 2025 at 4pm CET. We will have a presentation by the winner of the World Logic Prize 2025, result of the third edition of the World Logic Prizes Contest that took place at the 8th UNILOG in Cusco, Peru, Dec 9-14, 2025, https://sites.google.com/view/unilog2025/logic-prizes/schedule-contest All the winning papers country by country are presently open access on the website of the the journal Logica Universalis https://link.springer.com/journal/11787 and also a paper about the history and organization of the prize: https://link.springer.com/article/10.1007/s11787-025-00405-2 >----------------------------------------------- Speaker: Grigor Kolev, Sofia University "St. Kliment Ohridski", Bulgaria Title:Correspondence Problems for Classes of Postlinear Orders Abstract: We examine the definability and correspondence problems between the first-order language of order and the propositional language when given intuitionistic Kripke semantics. Our results are concerning classes of frames for the superintuitionistic logic The frames for LC are those partial orders in which every principal upper cone is linearly ordered – we call such orders postlinear and denote by PL the class of all postlinear orders. We prove that the monadic second-order theory of the class of countable postlinear orders is decidable and consequently that the definability and correspondence problems modulo finitely axiomatizable subclasses of PL are decidable. https://link.springer.com/article/10.1007/s11787-025-00392-4
Everyone is welcome to attend, register here https://cassyni.com/events/HzBcwYxsN4mVm4WJpoudTj/ Jean-Yves Beziau, Organizer of the World Logic Prize -- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBTp7erAi%3DWBi5Td2h0yz3BF3Z7npOzqDD%3D54s%2B3E83tA%40mail.gmail.com.
