Olá Eduardo,
A pergunta é se pode ser definido um termo [image: \theta(x)], na linguagem
das álgebras de Heyting [image: \{\vee, \wedge, \to, 0,1\}] (onde [image:
\vee] representa o supremo, [image: \wedge] o ínfimo e [image: \to] o
pseudo-complemento), tal que [image: \theta(x) \neq x] e [image:
\theta(\theta (x)) = x] (em qualquer álgebra de Heyting).
Abs,
Juan Carlos
On Tue, Mar 14, 2023 at 5:21 PM Eduardo Ochs <eduardoo...@gmail.com> wrote:
> Oi Juan!
> Você pode mandar uma versão em linguagem matemática da sua pergunta? Eu
> acho que eu sei uns exemplos, só não sei se eu entendi a sua pergunta
> direito...
> [[]], Eduardo
>
> On Tue, 14 Mar 2023, 18:46 Juan Carlos Agudelo Agudelo, <
> juca.agud...@gmail.com> wrote:
>
>> Boa tarde,
>>
>> Estou interessado em saber se é possível definir operadores involutivos
>> não triviais em álgebras de Heyting, usando só os operadores e constantes
>> das álgebras de Heyting. Imagino que a resposta é negativa, mas até agora
>> não consegui demonstrar nem refutar isso, e também não achei esse resultado
>> em lugar nenhum. Se alguém conhecer algum resultado que prove dita
>> impossibilidade (ou o contrário), agradeço as referências. Ou se alguém
>> souber como demonstrar isso...
>>
>> Abraços,
>> Juan Carlos
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica <logica-l@dimap.ufrn.br>
>> ---
>> 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/CACkoYSrCjEUVXv7xV0zuEGP0i_HmoBZeNh_9XgJ6JAcZwg2APw%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACkoYSrCjEUVXv7xV0zuEGP0i_HmoBZeNh_9XgJ6JAcZwg2APw%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
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/CACkoYSrm34Jn70A84aksLtqM5jYkYbNN6Kiz8wnMpyU1FdEzHQ%40mail.gmail.com.
