Obrigado ao Marcelo Finger pelo dado, e ao Francisco Miraglia e ao João
Marcos por conferir o que o Marcelo (corretamente) achava. A referência que
mandou o João parece ser chave para resolver a questão, vou ler com cuidado.
Abraços,
JC
On Wed, Mar 15, 2023 at 11:14 AM Joao Marcos wrote:
>
>
> Dado que a lógica intuicionista não pode ser representada semanticamente
> por uma matriz finita de valores verdade, acho que termos unários da
> álgebra de heyting, módulo equivalência, não devem ser um conjunto finito.
>
On Formulas of One Variable in Intuitionistic Propositional Calculus
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:
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
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