Speaker: Răzvan Diaconescu Simion Stoilow Institute of Mathematics of the Romanian Academy Presenting the 2nd edition of the book "Institution-independent Model Theory" A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories. This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added. https://www.springer.com/series/7391
Associate Organization: Hellenic-Romanian Logic and Computation Seminar http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.html presented by its organizer Petros Stefanas National Technical University of Athens, Greece Chair: Francesco Paoli Editorial Board SUL (Studies in Universal Logic) Everybody is welcome to join, register here: https://cassyni.com/events/MbFm8MerHKAn5dd8XfRTTK For a short introduction to Institution Theory, see here: https://iep.utm.edu/insti-th/ Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar - LUW Logic Area Editor of the Internet Encyclopedia of Philosophy
_ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► 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] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iu.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
