[Logica-l] XX EBL - Deadline extended
Car@s, O prazo para submissão para o XX Encontro Brasileiro de Lógica foi estendido. Por gentileza, compartilhem o arquivo em anexo. Abraço, Ciro -- = Ciro Russo Ph.D. Associate Professor Departamento de Matemática Instituto de Matemática e Estatística Universidade Federal da Bahia Campus de Ondina, Av. Milton Santos, Ondina 40170-110 - Salvador - Bahia - Brazil = -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/adc88893-3082-0441-6404-26275672a415%40ufba.br. XX EBL - Brazilian Logic Conference September 12-16, 2022 Salvador - Bahia, Brazil The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Linguistics and Artificial Intelligence - and at different stages of their careers, from undergraduate students to senior researchers. Previous editions of the EBL have attracted researchers from all over Latin America and elsewhere. In 2022, the EBL will be held at Salvador, the beautiful and bewitching capital of the state of Bahia, founded in 1549 in the Bahia de Todos os Santos, on the northeastern coast of Brazil. The XX EBL will be preceeded by the Logic School, which will be held on September 10 and 11. The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the participants several invited speakers from different continents. XX EBL - XX Brazilian Logic Conference Location: Salvador, BA - Brazil September 12-16, 2022 Call for Contributions - Extended deadline We cordially invite submissions of contributed talks, in the form of an extended abstract, on the general topics of Logic, including, but not limited to: - Philosophical Logic, - History and Philosophy of Logic, - Philosophy of Formal Sciences, - Foundations of Mathematics - Classical and Non-classical Logics - Model Theory, - Set Theory, - Algebraic Logic, - Proof Theory, - Foundations of Computer Science, - Computability Theory, - Artificial Intelligence. Abstracts should be submitted via the EasyChair system at the following link: https://easychair.org/conferences/?conf=ebl2021. Abstracts must be written in Portuguese, Spanish or English, and have a length of maximum 3 pages including title, name, keywords, affiliation and the essential bibliography, using the LaTeX template downloadable here: http://www.ebl2021.ufba.br/assets/files/latex_template.tex. The XX EBL will also host poster sessions, especially suitable for ongoing or early-stage works. Abstracts for posters can be submitted using the same link for oral presentation submissions, and then choosing the "Poster" option when prompted. Proposals for round tables and small workshops are welcome too. We encourage the proponents to get in touch with any of the co-chairs of the Scientific Committee (Hermann Haeusler, Ciro Russo, and Gisele Secco) for more detailed information on the submission process for such kind of proposals. The deadline for all kinds of submission has been extended to June 19, 2022. Talks may be given in Portuguese, Spanish or English, and each contributed speaker will have 20 minutes for the exposition plus 10 minutes for questions and discussion. The Scientific Committee will consider the following criteria in order to select the contributions: - relevance and importance of the topic, - originality, - quality of work. The list of accepted contributions will be released on July 17, 2022. At least one author of each accepted abstract must register for presenting the work at the meeting. Each given participant may coauthor more than one paper, but will only be allowed to present a single talk. A call for papers for the proceedings of the XX EBL shall be launched after the meeting. Registration to conference is now open: https://forms.gle/NC9Gk3zQqZpx4SeY7 More information about the Meeting and the venue can be found on the event's web page: http://www.ebl2021.ufba.br/ We apologize for multiple copies. Hermann Haeusler, Ciro Russo, and Gisele Secco (co-chairs) hermann AT inf.puc-rio.br ciro.russo AT ufba.br gisele.secco AT ufsm.br
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
Boa tarde,
Muito obrigado Samuel! Não tinha visto a definição na pág. 14, porque no
índice geral do livro diz que pred aparece só na pág. 103.
Abraços,
Claudio Callejas.
El sáb, 4 jun 2022 a las 0:41, samuel () escribió:
> Olá Claudio,
>
> Na página 103 aquele R pode até ser uma "relação-classe", e em boa parte
> das aplicações pode ser até a relação de pertinência (entendida como
> relação-classe). A primeira vez que aparece pred(A,x,R) no livro é na
> página 14, especificamente para ordens lineares (no sentido estrito, em
> particular sim irreflexiva).
>
> Até
>
> []s Samuel
>
>
>
> Em sexta-feira, 3 de junho de 2022 às 22:36:48 UTC-4, Claudio Andrés
> Callejas Olguín escreveu:
>
>> Bom dia,
>>
>> O livro do Kunen, "Set Theory - An Introduction to independence proofs"
>> usa essa notação de pred(a,x,r) (em geral para ordens lineares, como eu
>> comentei).
>>
>> Obrigado Samuel pela referência. Lhe agradeceria, só para ter certeza, se
>> me pudesse confirmar se a relação r em pred(a,x,r) (pág. 103) é irreflexiva.
>>
>> Na "nova bíblia" sobre reticulados e ordens
>>
>> Introduction to Lattices and Orders (2nd ed)
>> Davey and Priestley
>> CUP 2002
>>
>> Prezado Petrúcio, concordo com você, essa é uma excelente referência na
>> área de reticulados e ordens. Também gosto do livro "Lattices and ordered
>> sets" de Steven Roman.
>>
>> No texto, o conceito "down set" é definido, depois o conceito "down Q" e,
>> finalmente, este último particularizado para "down x", quando Q = { x }
>> (página. 20).
>>
>> Tal como mencionou depois o Samuel, eu preciso que o conjunto gerado por
>> x somente contenha os elementos estritamente menores do que x, por isso o
>> que preciso não é um down x. Em outras palavras, ocupando a notação de
>> reticulados, o que necessito é ↓x\{x}.
>>
>>
>> No livro "Elements of Set Theory" de Enderton (1977), esse conjunto é
>> chamado "initial segment up to x" (a definição está na página 173).
>>
>> Obrigado Juan Carlos pela referência. A diferença da sua referência,
>> dentro do contexto de teoria dos conjuntos, com a referência de Samuel, é
>> que na definição de "initial segment up to x" no livro de Enderton é usada
>> uma relação de ordem estrita (transitiva e irreflexiva), mas não
>> necessariamente linear.
>>
>>
>> Considerando as referências de Samuel e Juan Carlos, o conceito que
>> preciso só foi definido em teoria dos conjuntos, mas não dentro da teoria
>> de reticulados nem na teoria dos domínios.
>>
>>
>> Abraços,
>> Claudio Callejas.
>>
>>
>> El vie, 3 jun 2022 a las 12:51, Juan Carlos Agudelo Agudelo (<
>> juca.a...@gmail.com>) escribió:
>>
>>> Olá,
>>>
>>> No livro "Elements of Set Theory" de Enderton (1977), esse conjunto é
>>> chamado "initial segment up to x" (a definição está na página 173).
>>>
>>>
>>> On Fri, Jun 3, 2022 at 10:07 AM Jorge Petrucio Viana <
>>> petruci...@id.uff.br> wrote:
>>>
Será que Davey e Priestley iriam dar esse mole?
Tá lá na página 20: ↓x = { y ∈ P | y ≤ x }.
Em sex., 3 de jun. de 2022 às 11:51, samuel escreveu:
> Olá,
>
> Mas Davey/Priestley inclui o x ou não ? Porque até onde me lembre o
> down set de x pega o x próprio e todos abaixo, o Cláudio
> aí não quer pegar o x.
>
> Abraço
>
> []s Samuel
>
> Em sexta-feira, 3 de junho de 2022 às 10:43:28 UTC-4, Petrucio Viana
> escreveu:
>
>> Bom dia!
>>
>> Na "nova bíblia" sobre reticulados e ordens
>>
>> Introduction to Lattices and Orders (2nd ed)
>> Davey and Priestley
>> CUP 2002
>>
>> que contém um capítulo sobre teoria dos domínios, esse conjunto é
>> chamado "down x".
>> No texto, o conceito "down set" é definido, depois o conceito "down
>> Q" e, finalmente, este último particularizado para "down x", quando Q =
>> { x
>> } (página. 20).
>>
>> saudações lógicas,
>> P
>>
>>
>> Em sex., 3 de jun. de 2022 às 11:10, Claudio Callejas <
>> ccalleja...@gmail.com> escreveu:
>>
>>> Bom dia,
>>>
>>> Obrigado Samuel e João Marcos pelas respostas.
>>>
>>> Samuel, você poderia, por favor, me enviar uma referência da área de
>>> teoria dos conjuntos onde esteja definido o termo predecessores de x no
>>> conjunto ordenado (a,r)? Gostaria de citar essa referência no meu
>>> trabalho.
>>>
>>> O termo predecessores de x no conjunto ordenado (a,r) e a notação
>>> pred(a,x,r) fogem muito da terminologia das área de reticulados e teoria
>>> dos domínios, mas à falta de nome e notação para esse conceito nestas
>>> duas
>>> últimas áreas eu gostaria de sinalizar no meu trabalho que na área de
>>> teoria dos conjuntos o termo é chamado de predecessores de x, mas que eu
>>> irei chamá-lo de "right-open principal ideal generated by x" (estou
>>> adaptando a proposta de nome de João Marcos e trazendo a atenção que se
>>> parece ao conceito de ideal principal
[Logica-l] Semântica de jogos pra lógica básica
Oi todo mundo, quando eu fiz Introdução à Análise - na início da graduação, há mil anos atrás - o professor usou uma espécie de semântica de jogos pra nos ensinar a interpretar expressões com quantificadores... e ele conseguiu apresentar isso de um jeito brilhante - ele falou sobre as idéias centrais como se elas fossem "óbvias" e depois nós fomos descobrindo os detalhes à medida que nós fazíamos os exercícios do livro de Análise... Vocês fazem coisas parecidas? Quais são as referências preferidas de vocês sobre usos _pedagógicos_ de semânticas de jogos pra ensinar lógica básica? Tou perguntando porque eu tou usando uma espécie de semântica de jogos no meu curso de Cálculo 2 - tá aqui, principalmente no exercício 2, nos slides 9 e 10, http://angg.twu.net/LATEX/2022-1-C2-infs-e-sups.pdf#page=9 e tá funcionando muito bem, mas eu sei que eu tou reconstruindo de forma improvisada coisas que foram publicadas em textos que eu nunca li - e que eu gostaria de ler... Grat =), Eduardo Ochs http://angg.twu.net/ http://angg.twu.net/2022.1-C2.html http://angg.twu.net/2022.1-C3.html -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6g4X8PjN8%2B4ZBA2KAAox%3DmCZRnRoDdzOqRACCjL6s85HQ%40mail.gmail.com.
