Amigos modaleiros, vocês podem me ajudar a encontrar a terminologia "oficial" - e referências - pra algo que eu tenho usado de forma amadorística e improvisada? É o seguinte:
Se (A,R) é uma ordem parcial no conjunto A vou dizer que B∈Indep(A,R) quando B⊆A e todos os pontos de B são "independentes entre si", isto é, nenhum deles é "≤" ao outro, i.e., nenhum deles está relacionado (por R) a outro; e vou dizer que k∈Nindep(A,R) quando Indep(A,R) contém algum subconjunto de A com exatamente k elementos, e vou dizer que k=wid(A,R) quando k∈Nindep(A,R) mas k+1∉Nindep(A,R). Cada ordem parcial pode ser vista como um frame para S4. Como é que eu distingo frames "de largura 2" de frames "de largura 3"? Acho que existem wffs de S4 que são sempre verdadeiras em frames de largura 2 mas que podem ser falseadas em frames de largura 3... alguém sabe onde eu posso procurar referências sobre isso? Eu ACHO que dá pra construir uma wff dessas assim: sejam notindep(P,Q) := ◻(◻P→◻Q) ∨ ◻(◻Q→◻P) notindep3(P,Q,R) := notindep(P,Q) ∨ notindep(P,R) ∨ notindep(Q,R) mywff := notindep3(P∧Q, P∧R, Q∧R) acho que mywff é sempre verdadeira em frames de largura 2, e acho que sei construir um frame de largura 3 no qual ela é falsa. A versão intuicionista dessa questão é uma pergunta que várias pessoas já me fizeram quando eu mostrei pra elas partes do que eu vou apresentar agora no EBL... a versão atual dos slides tá aqui, http://angg.twu.net/LATEX/2017ebl-slides.pdf elas perguntam: "que wffs são tautologias em todas as Álgebras de Heyting planares mas não em Álgebras de Heyting que não cabem em 2D?" - e há uns meses atrás eu pus um guardanapo marcando a página do Handbook of Modal Logic (será que o título era esse mesmo???) que parecia ter a wff que eu queria, só que eu esqueci o livro em Rio das Ostras... Como se diz lá no Facebook, "me ajudem, é pro meu TCC" - [[]], obrigado & nos vemos no EBL =), Eduardo -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6g1LN0SF9015UvvoZGW7gHTwJbXRzcDJPKJQfPc5D-bGg%40mail.gmail.com.
