FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.

Davide Catta, Richard Moot and Christian Retoré

Speakers in vats: simulating model-theoretic alignment with distributional semantics

Aurelie Herbelot

OpenWordNet-PT: Taking Stock

Valeria de Paiva, Alexandre Rademaker, Livy Real, Fabricio Chalub and Gerard de Melo

Automated Reasoning from Polarized Parse Trees

Hai Hu, Thomas Icard and Larry Moss

Propositional Forms of Judgemental Interpretations

Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis

Propositional Attitude Operators in Homotopy Type Theory

Colin Zwanziger
Total: 6 presentations.