Olá, Frank:
A pergunta é muito interessante. Creio nunca ter visto questões de
expressividade de conectivos colocadas em termos da cardinalidade do
conjunto de conectivos envolvidos. Você poderia dar um par de
exemplos de conectivos "n-fracos", digamos para n=1 ou n=2? Você acha
que seria possível refrasear isto em termos da teoria dos clones, no
contexto do reticulado do Post?
Abraços,
Joao Marcos
2017-06-07 15:20 GMT+02:00 FRANK THOMAS SAUTTER <ftsaut...@ufsm.br>:
>
> Bom dia a todos.
>
> Estou rascunhando um trabalho em que uma das questões discutidas é a
> expressividade de conetivos clássicos e o seguinte conceito me pareceu útil:
>
> Um conetivo * é n-fraco, para n>0, se, e somente se, para todo conjunto de
> conetivos X - {*} tal que a cardinalidade de X - {*} é n, se (X - {*}) união
> {*} é funcionalmente completo, então X - {*} é funcionalmente completo.
>
> Alguém poderia me dizer se esse conceito ou um conceito similar a esse já é
> empregado na literatura?
>
> Cordialmente, Frank.
--
http://sequiturquodlibet.googlepages.com/
--
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/CAO6j_Li3juU-44vbVNDSE2dxLWjaPELf%2BjSvKOETOAwU2rCVsg%40mail.gmail.com.
