FashionMall semantics

[Joao Marcos]

Tentando mais uma vez trazer a lista para temas que de fato estejam
estritamente ligados a *Lógica*, gostaria de chamar a atenção para
esta recente e interessante postagem da Valéria em seu blog:

(So, Per Martin-Löf asked young Valeria "ok, this is all very well,
the categorical constructions are nice, I can see why you might want
to consider a more intuitionisitic version of a multiplicative
disjunction, but...what does it all mean? How do you tell a man in the
street what you do?")
https://logic-forall.blogspot.com.br/2018/05/surely-youre-joking-mr-martin-lof.html


JM

[Valeria de Paiva]

Obrigada Joao Marcos pelo shout-out pro blog.
 e obrigada Bruno pela informacao extra sobre Paraty e o ano.

tem mais perguntas no twitter sobre LL e variacoes,
se alguem tiver vontade de responder, vai ser otimo!

(eu cai na besteira de fazer uma piada no twitter sobre a margem  ser muito estreita pra minha prova de que par funciona;
e agora estou mais do que enrolada tentando nao responder a outras perguntas subsequentes...)

abracos logicos,

Valeria

JM

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg0pbrHN_7%2BNdfDP-rXKrL5RpfUuFUKKqYYFhwdewEk5w%40mail.gmail.com.

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/