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 <botoc...@gmail.com> 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 > https://www.jstor.org/stable/2963526 > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > -- 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/CACkoYSpShAnWUTudAQ19Xkfw8YML5Kg59qw%2BSHgE0SNXyK0WXA%40mail.gmail.com.
