[Logica-l] Topological Representation of Intuitionistic and Distributive Abstract Logics

Acabou de ser publicado na Logica Universalis um artigo do Andreas Brenner e do Steffen Lewitzka do grupo abeliano de lógica da Universidade Federal da Bahia: Topological Representation of Intuitionistic and Distributive Abstract Logics https://link.springer.com/article/10.1007/s11787-017-0166-3

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

Pois é, mas acho que espaços-tempo exóticos e Cohen-genéricos têm existência no duro, nalguma realidade sei-lá-como. Sent from my iPhone > On 2 Apr 2017, at 16:03, Carlos Gonzalez wrote: > > Prezado Walter e outros colegas, > > Essa história de Tarski é altamente

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

Muito obrigado! Em 3 de abril de 2017 13:28, Hermógenes Oliveira < hermogenes.olive...@student.uni-tuebingen.de> escreveu: > Fernando Yamauti escreveu: > > > Oi, > > > > Será que alguém teria acesso ao paper > > > > 1 Ladyman, J., Presnell, S.: Identity in Homotopy Type

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

Fernando Yamauti escreveu: > Oi, > > Será que alguém teria acesso ao paper > > 1 Ladyman, J., Presnell, S.: Identity in Homotopy Type Theory, Part I: > The Justification of Path Induction. Philosophia Mathematica (2015) ? Coincidência. Eu li esse artigo recentemente. A

[Logica-l] Philosophia Mathematica Vol 23 Issue 3

Oi, Será que alguém teria acesso ao paper 1. Ladyman, J., Presnell, S.: Identity in Homotopy Type Theory, Part I: TheJustification of Path Induction. Philosophia Mathematica (2015)