The course\u00a0covers the following topics:<\/p>\n
More specifically, this\u00a0is the content of each\u00a0single class:<\/p>\n
The material needed during the course can be found below.<\/p>\n
The homework due during the course can be found below.<\/p>\n
Many-valued logics are logical systems in which the truth values may be more than just “absolutely true” and “absolutely false”. This simple loosening opens the door to a large number of possible formalisms. The main methods of investigation are algebraic, although in the recent years the proof theory of many-valued logics has had a remarkable development.<\/p>\n
This course will address a number of questions regarding classification, expressivity, and algebraic aspects of many-valued logics. Algebraic structures as Monoidal t-norm based algebras, MV-algebras, and residuated lattices will be introduced and studied during the course.<\/p>\n
The course will cover seclected chapters of the following books.<\/p>\n
It is assumed that students entering this class possess<\/p>\n
Basic knowledge of general algebra, topology and category theory will be handy but not necessary.<\/p>\n
<\/p>\n
Course on Many-Valued Logics (Autumn 2014) This page concerns the course `Many-Valued Logics’, taught at the University of Amsterdam from September\u00a0– October\u00a02014.\u00a0 Contents of the\u00a0page News Contents of the classes Course material Practicalities Grading and homework assignments Course Description and Prerequisites Contents The course\u00a0covers the following topics: Basic Logic and Monoidal t-norm Logic. Substructural logics […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[15,31,35,40,64,14,28,75,29,37],"class_list":["post-490","post","type-post","status-publish","format-standard","hentry","category-teaching","tag-amsterdam","tag-categorical-duality","tag-changs-completeness-theorem","tag-course","tag-free-algebra","tag-illc","tag-lukasiewicz-logic","tag-many-valued-logic","tag-mv-algebras","tag-rational-polyhedra"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/490","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=490"}],"version-history":[{"count":59,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/490\/revisions"}],"predecessor-version":[{"id":1142,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/490\/revisions\/1142"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=490"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=490"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=490"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}