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
Olá Frank,
lendo suas ideias me lembrei que em [1] o Humberstone define o conceito de
sub-conectivo (p. 150):
we say that # as it behaves according to |- is a subconnective of #" as it
behaves according to |-" when for all formulas A_1,...,A_n,B, if
A_1,...,A_n |- B then A_1*,...,A_n* |-" B*,
Não me lembro desse uso do termo "fraco" nessa acepção, embora já tenho visto
conectivos ou operadores divididos entre fortes e fracos, nomeadamente as
negações.
Mas, a questão é saber o que tu fazes com uma definição dessas. Pois veja, se
já tens dado que o conjunto X-{*} é funcionalmente
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,