[SydPhil] Notification: A Gentle Introduction to Abstract Algebraic Logic @ Thu 22 Nov 2018 15:00 - 17:00 (AEDT) (Current Projects)

[Google Calendar]

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: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20181116/7f930e94/attachment.html>