[Logica-l] símbolo adotado para descrições impróprias

Caros colegas: Em algumas lógicas do artigo definido, cujo qualificador descreve objetos via propriedades em que existe um único objeto que a satisfaz, é postulado que as descrições via artigo definido com propriedades em que não existe um objeto que as satisfaz ou existe mais de um, ou seja, as

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Obrigado Fernando Yamauti. A pergunta sobre "teoria dos tipos" é genérica, mas sua resposta é ampla. W. Em 20 de dezembro de 2017 00:10, Fernando Yamauti escreveu: > As referências em https://ncatlab.org/nlab/show/pure+type+system caso busque > o mais geral possível.

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

As referências em https://ncatlab.org/nlab/show/pure+type+system caso busque o mais geral possível. Para algo mais básico, acho melhor começar com untyped lambda cálculo, algo como em http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf ou no livro do Barendregt, e entender

[Logica-l] Postdoctoral position in formal verification, dynamical systems, and constructive analysis, Pittsburgh PA (U.S.A.)

The logic group in the Department of Philosophy at Carnegie Mellon University seeks a postdoctoral researcher for a project in formal verification, dynamical systems, and constructive analysis, beginning August 2018. There are no teaching duties, and the position is for one academic year

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Impressionante esse site. Muito obrigado Thanos! Carlos 2017-12-19 18:16 GMT-02:00 Thanos Tsouanas : > Oi Walter, > > On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote: > > Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem >

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Muito obrigado, Thanos! Abracos, Walter > > Oi Walter, > >> On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote: >> Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem >> textos introdutórios sobre Teoria de Tipos, para uso com estudantes >>

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Oi Walter, On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote: > Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem > textos introdutórios sobre Teoria de Tipos, para uso com estudantes > avancados de > graduação, https://github.com/jozefg/learn-tt

[Logica-l] Textos introdutórios sobre Teoria de Tipos

Car@s, Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem textos introdutórios sobre Teoria de Tipos, para uso com estudantes avancados de graduação, Abraços, Walter -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

[Logica-l] Homenagem Da ANPOF a Oswaldo Porchat

da newsletter da Sociedade Brasileira de Filosofia Analítica (SBFA). -- Forwarded message -- A *ANPOF* fez uma bela homenagem a Oswaldo Porchat, reunindo na sua *Coluna ANPOF * o depoimento de alguns filósofos que

[Logica-l] Conference on Mathematical Logic (Satellite Conference of the ICM 2018)

Conference on Mathematical Logic (Satellite Conference of the ICM 2018) Niteroi, Brazil, 10-11 August 2018 http://www.dlmpst.org/pages/activities/icm-2018-satellite.php It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and

[Logica-l] livros de Lógica do ano

uma lista bastante breve para quem for curioso, ou quiser contribuir para aumentá-la... http://www.logicmatters.net/2017/12/14/logic-books-of-the-year-2/ JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e