From nicholas.smith at sydney.edu.au Thu Nov 15 13:52:06 2018 From: nicholas.smith at sydney.edu.au (N.J.J. Smith) Date: Thu, 15 Nov 2018 13:52:06 +1100 Subject: [SydPhil] logic seminar at USyd next week References: <000000000000a0db9b0579a6910f@google.com> Message-ID: <66F9BEAD-8CA1-4870-9FC7-FF3847CC35F9@sydney.edu.au> Thu, 22 November, 3pm - 5pm The Muniment Room (room S401 Main Quadrangle Building) University of Sydney A Gentle Introduction to Abstract Algebraic Logic Petr Cintula (Czech Academy of Sciences, Prague) Algebraic logic is the branch of mathematical logic that studies logical systems by giving them algebraic semantics. It mainly capitalizes on the standard Linbenbaum-Tarski proof of completeness of classical logic w.r.t. the two-element Boolean algebra, which can be analogously repeated in other logical systems yielding completeness w.r.t. other kinds of algebras. Abstract algebraic logic (AAL) determines what are the essential elements in these proofs and develops an abstract theory of the possible ways in which logical systems can be related to an algebraic counterpart. The usefulness of these methods is witnessed by the fact that the study of many logics, relevant for mathematics, computer science, linguistics or philosophical purposes, has greatly benefited from the algebraic approach, that allows to understand their properties in terms of equivalent algebraic properties of their semantics. This course is a self-contained introduction to AAL. We start from the very basics of AAL, develop its general and systematic theory and illustrate the results with applications to particular examples of propositional logics. From calendar-notification at google.com Fri Nov 16 14:59:50 2018 From: calendar-notification at google.com (Google Calendar) Date: Fri, 16 Nov 2018 03:59:50 +0000 Subject: [SydPhil] Notification: A Gentle Introduction to Abstract Algebraic Logic @ Thu 22 Nov 2018 15:00 - 17:00 (AEDT) (Current Projects) Message-ID: <000000000000ee7bcc057ac032cc@google.com> This is a notification for: Title: A Gentle Introduction to Abstract Algebraic Logic Petr Cintula (Czech Academy of Sciences, Prague) A Gentle Introduction to Abstract Algebraic Logic Algebraic logic is the branch of mathematical logic that studies logical systems by giving them algebraic semantics. It mainly capitalizes on the standard Linbenbaum-Tarski proof of completeness of classical logic w.r.t. the two-element Boolean algebra, which can be analogously repeated in other logical systems yielding completeness w.r.t. other kinds of algebras. Abstract algebraic logic (AAL) determines what are the essential elements in these proofs and develops an abstract theory of the possible ways in which logical systems can be related to an algebraic counterpart. The usefulness of these methods is witnessed by the fact that the study of many logics, relevant for mathematics, computer science, linguistics or philosophical purposes, has greatly benefited from the algebraic approach, that allows to understand their properties in terms of equivalent algebraic properties of their semantics. This course is a self-contained introduction to AAL. We start from the very basics of AAL, develop its general and systematic theory and illustrate the results with applications to particular examples of propositional logics. When: Thu 22 Nov 2018 15:00 ? 17:00 Eastern Australia Time - Sydney Where: The Muniment Room, University of Sydney Calendar: Current Projects Who: * Kristie Miller- creator Event details: https://protect-au.mimecast.com/s/Sh8aCr8DLRtWVWzNf73gf7?domain=google.com Invitation from Google Calendar: https://protect-au.mimecast.com/s/m-2aCvl0PoCRNRPBtXl9ff?domain=google.com You are receiving this email at the account sydphil at arts.usyd.edu.au because you are subscribed for notifications on calendar Current Projects. To stop receiving these emails, please log in to https://protect-au.mimecast.com/s/m-2aCvl0PoCRNRPBtXl9ff?domain=google.com and change your notification settings for this calendar. Forwarding this invitation could allow any recipient to modify your RSVP response. Learn more at https://protect-au.mimecast.com/s/XPVMCwVLQmi2824OF9fonx?domain=support.google.com -------------- next part -------------- An HTML attachment was scrubbed... URL: