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
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► <a href="mailto:[email protected]";>UNSUBSCRIBE FROM PEIRCE-L</a> . But, if your subscribed email account is not your default email account, then go to https://list.iu.edu/sympa/signoff/peirce-l . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
