ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ - ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ SITE MAP | ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ - ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΛΛΗΝΙΚΑ | ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ - ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ENGLISH
Παρασκευή, 08/02/2019   -   Ομιλίες
Σεμινάριο Τμήματος με τίτλο:"Game-theoretic semantics for non-distributive logics",Χαρτώνας Χρυσάφης

Στο πλαίσιο της διοργάνωσης των σεμιναρίων του τμήματος θα πραγματοποιηθεί την Παρασκευή 8/2/2019 και ώρα 12:00 στην αίθουσα Σεμιναρίων του Τμήματος Μηχανικών Η/Υ και Πληροφορικής, ομιλία με τίτλο "Game-theoretic semantics for non-distributive logics". Ομιλητής θα είναι ο καθηγητής κ. Χαρτώνας Χρυσάφης, Τμήμα Μηχανικών Πληροφορικής, ΤΕΙ Θεσσαλίας.

ΠΕΡΙΛΗΨΗ
The talk will focus on the semantics of logics without distribution, running through the efforts to establish a meaningful compositional semantics via representation and discrete, or Stone-type duality results, in combination with developments in the theory of canonical extensions and it will finally focus on a related recent result by the speaker on game-theoretic semantics for logics without distribution (https://doi.org/10.1093/jigpal/jzy079).

©2010 DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING - UNIVERSITY OF IOANNINA
created by data|SCIENCE

Valid XHTML 1.0 Strict Valid CSS!