Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
Oi João Marcos!
Obrigado pela resposta, mas não estou precisando definir um down set.
Preciso dar um nome para o conjunto A={y \in P : y) escribió:
> Gostaria de saber se vocês sabem se já foi definido o seguinte conceito
>> simples: Seja P um conjunto parcialmente ordenado e seja x um elemento de
>> P. Estou precisando dar ou saber de um nome e uma notação para o conjunto
>> formado por todos os elementos em P que são menores do que x.
>>
>
> Se eu entendi bem a pergunta, Claudio, um dos nomes que isso costuma
> receber é "down set". Há outros:
> https://en.wikipedia.org/wiki/Upper_set
> (o verbete também inclui as notações mais usuais para estas coisas)
>
> Abraços, Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhSae%2BGNN6eUT-%2BUnMYSnpTN9%2BhuZ7_%3DeabcnNC3%3DROqw%40mail.gmail.com
>
> .
>
--
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/CAE_57e3DhNnj83FZnB03VhDSf_SHn%2BSzFSR0-hm9_g_NdeVkPw%40mail.gmail.com.
Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem
> > Gostaria de saber se vocês sabem se já foi definido o seguinte conceito > simples: Seja P um conjunto parcialmente ordenado e seja x um elemento de > P. Estou precisando dar ou saber de um nome e uma notação para o conjunto > formado por todos os elementos em P que são menores do que x. > Se eu entendi bem a pergunta, Claudio, um dos nomes que isso costuma receber é "down set". Há outros: https://en.wikipedia.org/wiki/Upper_set (o verbete também inclui as notações mais usuais para estas coisas) Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- 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/CAO6j_LhSae%2BGNN6eUT-%2BUnMYSnpTN9%2BhuZ7_%3DeabcnNC3%3DROqw%40mail.gmail.com.
[Logica-l] Pergunta sobre um conceito em teoria da ordem
Boa noite prezados membros da lista, Gostaria de saber se vocês sabem se já foi definido o seguinte conceito simples: Seja P um conjunto parcialmente ordenado e seja x um elemento de P. Estou precisando dar ou saber de um nome e uma notação para o conjunto formado por todos os elementos em P que são menores do que x. Eu pesquisei na literatura que conheço de reticulados e de teoria dos domínios, mas não o encontrei. Sei que não posso ocupar como nome "proper principal ideal", porque corresponde a um ideal principal que é subconjunto próprio de P. Também sei que seria conveniente não utilizar como notação $\downarrow x$, porque é a utilizada para ideais principais, nem utilizar a notação $\Downarrow x$ nem a seta para abaixo com dupla cabeça acompanhado de x, porque em teoria dos domínios essas últimas duas notações são empregadas para denotar o conjunto way-below de um ponto x. Também não posso utilizar a notação approx(x), porque em teoria dos domínios corresponde ao conjunto formado por todos os elementos compactos que são menores ou iguais a x. A notação que imagino é uma seta para abaixo com um pequeno círculo no começo da seta, acompanhado de x, tentando assim representar o fato que é aberto em x, mas que inclui os elementos abaixo dele. O problema é que não encontrei esse símbolo em LaTeX. Caso o conceito não exista na literatura, não sei qual seria o nome nem a notação mais apropriada, por isso lhes agradeceria sugestões. Abraços, Claudio Callejas. -- 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/CAE_57e0YXZA8%3DcftHpd3MkJmZOkoOU36vBtZdTiqKJyLCdNx7Q%40mail.gmail.com.
[Logica-l] Paraconsistent Newsletter Spring Fall 2022
Just released the latest edition of the paraconsistent newsletter with as usual - papers and books about paraconsistent logic - videos of interest for paraconsistentists - an interview with a paraconsistent logician, presently Edelcio Gonçalves de Souza - forthcoming events of interest for paraconsistentists and a new section about "jobs". Yes, it is possible to be a paraconsistent being and to have a job! Believe it and not ... Here we have one offer for a postdoc position at the Department of Logic of Nicolaus Copernicus University, Poland, the place where will take place the forthcoming 6th edition of the World Congress on Paraconsistency next September https://www.paraconsistency.org/2022spring-fall Jean-Yves Beziau -- 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/CAF2zFLCU-Kgoac4p_S%2BvcN-2Qca8a%3DRsysxd7ed-V%2B5PTaGB%2BQ%40mail.gmail.com.
[Logica-l] FLoC, IJCAR, ThEdu
O FLoC de Israel está cada vez mais perto! %%% Na mensagem abaixo se encontra, em particular, links para o programa do IJCAR deste ano. Ele inclui alguns papers bastante interessantes, em particular um de autoria da Cláudia Nalon e outro de autoria da Elaine Pimentel. O nosso próprio paper lá também pode vir a ser de interesse para alguns colegas desta lista; tomo então a liberdade para divulgá-lo aqui: Finite two-dimensional proof systems for non-finitely axiomatizable logics Vitor Greati & JM https://arxiv.org/abs/2205.08920 %%% Em breve teremos disponibilizado também o programa do ThEdu (International Workshop on Theorem-Proving Components for Educational Software) deste ano: https://www.uc.pt/en/congressos/thedu/ThEdu22 []s, Joao Marcos -- Forwarded message - The 11th International Joint Conference on Automated Reasoning (IJCAR 2022) August 8-10, in-person in Haifa, Israel The program for IJCAR 2022 is now available at ... https://easychair.org/smart-program/FLoC2022/IJCAR-program.html The workshops assocbiated with IJCAR 2022 are listed at ... https://easychair.org/smart-program/FLoC2022/IJCAR-workshops.html Registration for IJCAR 2022 is now open at ... https://easychair.org/smart-program/FLoC2022/IJCAR-Registration.html Grants to support students' attendance at IJCAR 2022 are available ... https://easychair.org/smart-program/FLoC2022/IJCAR-Grants.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/CAO6j_LhokygZhVzM50X2bNC6f32sFkteSXKFtUdRzBYhrhu2ZA%40mail.gmail.com.
[Logica-l] Posters do EBL disponíveis para download
Prezados, Estão disponíveis na página do XX EBL (Salvador, Bahia, 12 a 16 de setembro), www.ebl2021.ufba.br os posters oficiais do evento, para quem quiser imprimir e colocar na porta da sua sala ! (Aba Support, Seção Communications). A arte, autorizada pelo Instituto Carybé, segue na identidade visual do evento, presente também na página Internet e no logotipo, que é baseada nos dois XX de "vigésimo EBL" sendo representados por dois capoeiristas. Abraços []s Samuel -- 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/1512767857.7917771.1654172854560.JavaMail.zimbra%40ufba.br.
[Logica-l] Re: Sense and the Making of Sense / St. Petersburg State University, June 2-4
Link: https://us02web.zoom.us/j/84802291567?pwd=UW5EMFNqRnM2Rk1mTkx5RFY4YkVyZz09 Password 181437 Palestra as 10h JYB On Wed, Jun 1, 2022 at 8:28 AM jean-yves beziau wrote: > Sense and the Making of Sense - SeMaSe2022 > St. Petersburg State University, Russia June 2-4 > https://philevents.org/event/show/95889 > For those who cannot come to St Petersburg, > it is possible to attend on-line, register here: > https://artesliberales.spbu.ru/en/calendar/sense-and-making-sense > > Tomorrow at 16h (St Petersburg time), I will present in this congress the > talk > "The Pyramid of Meaning" > http://www.jyb-logic.org/PYRAMID-OF-MEANING > In this talk / paper, I present a new theory of meaning, inspired by > Saussure, > but instead of considering only a pair (signifier/signified) packed in one > element, the "sign", > I consider a triple (word/idea/thing) packed in one element, the "notion". > > In 2017 I organized a workshop in Geneva, part of CLG 100: > Arbitrariness of the Sign > http://www.jyb-logic.org/a > Here is the resulting book > The Arbitrariness of the Sign in Question > http://www.collegepublications.co.uk/las/?1 > and here my introductory paper: > "Arbitrariness Symbolic Key" > http://www.jyb-logic.org/ARB > Everybody is welcome to submit a book to the book series: > Logic and Semiotics > http://www.collegepublications.co.uk/las/ > > Some years before I also organized in Neuchâtel, Switzerland, a workshop > on symbol vs arbitrary sign. > Here is the resulting book: > La Pointure du Symbole > https://www.editionspetra.fr/livres/la-pointure-du-symbole > and here my introductory paper: > "L'Arbitraire du Signe face à la Puissance du Symbole" > http://www.jyb-logic.org/PDS > > JYB > > -- 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/CAF2zFLDZNsDq3faHni3rArf8cxRoW30q76d_9c-zEbTWhHOtww%40mail.gmail.com.
