Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '1s64v2bdtsehrdbd106ildlev0' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
Venerdì 12 marzo 2021 alle ore 15:00, si terrà il seminario del dott. Daniele Catta (Université di Montpellier)
dal titolo "Toward a denotational semantics for proofs in constructive modal logic".
Abstract
Constructive modal logics are extensions of intuitionistic propositional logic with certain modal axioms. Many
proof systems are known for these logics, but the only available denotational semantics is defined by means
of an abstract construction, based on the quotient of their lambda terms.
The general aim of our work is to define a game semantics for constructive modal logics. In this talk, I will define
the winning strategies for a formula and show the correspondence between winning strategies and proofs. I will
show how winning strategies can be defined as the projection of specific paths in a graphical proof system
defined for this purpose - combinatorial proofs.
(This talk is based on joint work with Matteo Acclavio and Lutz Straßburger)
Per partecipare al seminario cliccare sul seguente Link http://bit.ly/30a9RZv
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '1s64v2bdtsehrdbd106ildlev0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2021/03/12', '', '3.236.86.184', 1728959541) in /var/www/church/includes/database.mysql.inc on line 121
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('1s64v2bdtsehrdbd106ildlev0', 0, 0, '3.236.86.184', 'calendar_year|i:2021;calendar_mon|i:3;', 1728959541) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2021/03/12', '', '3.236.86.184', 1728959541) in /var/www/church/includes/database.mysql.inc on line 121
