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 <[email protected]> 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 <[email protected]> --- 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 [email protected]. 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.
