[Logica-l] Fwd: Call for Abstracts. Second SYSMICS Workshop (Vienna)

** CALL FOR ABSTRACTS ** Second SYSMICS Workshop "Substructural logics: semantics, proof theory and applications" Vienna, Austria, February 26-28, 2018 http://sysmics.logic.at Substructural logics are non-classical logics lacking some of the structural rules of classical logic, and are motivated

[Logica-l] Marcin Mostowski (1955-2017)

Meus colegas da Polonia me informaram que infelizemente o Marcin Mostowski faleceu a pouco. Ele estava na progamaçaão do workshop sobre a escola de Lvov-Varsovia do UNILOG'2018 http://www.uni-log.org/wk6-lvov-warsaw.html e iria apresentar a palestra "On Generalized Quantifiers: from Andrzej Mostows