Duality theory and representations for distributive quasi relation algebras and DInFL-algebras

Resumo Técnico: Dualidade e Representações para Álgebras de Quase Relação Distributivas e Álgebras DInFL

Enunciado do Problema
O artigo aborda a teoria algébrica de relações binárias, focando especificamente em generalizações de álgebras de relação que enfraquecem a negação booleana clássica. Enquanto as álgebras de relação dependem da complementação clássica, os autores investigam as álgebras de quase relação distributivas (DqRAs) e as álgebras de Lambek totais involutivas distributivas (DInFL-álgebras). Estas estruturas carecem de operações unárias individuais para complementação e reversão, utilizando, em vez disso, negações lineares ($\sim$ e $-$) e uma negação De Morgan ($\neg$). Os desafios centrais abordados são:

1. Estabelecer uma teoria de dualidade robusta para estas álgebras, particularmente para o caso perfeito completo, análogo às estruturas de átomos usadas para álgebras de relação finitas.
2. Estender esta dualidade para todas as álgebras (não apenas as perfeitas completas) usando métodos topológicos.
3. Determinar a representabilidade destas álgebras como reticulados de relações binárias, identificando especificamente quais álgebras finitas podem ser incorporadas em álgebras concretas de relações.

Metodologia
Os autores empregam uma abordagem multifacetada combinando lógica algébrica, teoria da ordem e topologia:

• Construção de Frames: O artigo define frames DInFL e frames DqRA. Estes são conjuntos parcialmente ordenados equipados com uma operação de conjunto binária (representando composição), um conjunto de identidade distinguido e funções unárias representando negações lineares. Para DqRAs, uma operação unária adicional ($\neg$) é incluada. Estes frames são análogos aos frames de Routley–Meyer em lógica de relevância, mas adaptados para álgebras FL involutivas.
• Dualidade para Álgebras Perfeitas Completas: Usando a teoria dos elementos completamente junção-irreduzíveis ($J_\infty$) e completamente encontro-irreduzíveis ($M_\infty$), os autores constroem dualidades entre DInFL-álgebras/DqRAs perfeitas completas e seus respectivos frames. Eles provam que toda álgebra perfeita completa é isomórfica à álgebra complexa de seu frame de junções-irreduzíveis, e vice-versa.
• Morfismos: O artigo define morfismos para estes frames e estabelece uma dualidade entre morfismos de frames e homomorfismos completos das álgebras.
• Extensão da Dualidade de Priestley: Para lidar com álgebras que não são necessariamente completas ou perfeitas, os autores estendem o framework para espaços de Priestley duplamente pontuados. Estes são espaços topológicos compactos e totalmente desordenados, com limites ($\bot, \top$). Os espaços duais utilizam o conjunto de "filtros primos generalizados" (incluindo o conjunto vazio e a própria álgebra) para acomodar reticulados não limitados.
• Análise de Representabilidade: Os autores utilizam uma construção envolvendo relações de equivalência parcialmente ordenadas, automorfismos de ordem ($\alpha$) e automorfismos de ordem duais ($\beta$) para definir representações concretas. Eles analisam a representabilidade de álgebras finitas por meio de:
  • Cálculo do número de álgebras não isomórficas até o tamanho 8 usando Prover9/Mace4.
  • Verificação destes números através da enumeração de frames correspondentes.
  • Investigação de subreductos de DqRA de conhecidas álgebras de relação (especificamente as 37 álgebras de relação não simétricas integrais de tamanho 16).
  • Aplicação de teoremas conhecidos sobre representabilidade finita (por exemplo, condições sob as quais uma álgebra não pode ser finitamente representável).

Contribuições Principais e Resultados

1. Dualidades:

   • O artigo fornece uma dualidade completa para álgebras de quase relação distributivas completas perfeitas e álgebras FL totais involutivas distributivas completas perfeitas via seus respectivos frames.
   • Estende esta dualidade para todas as DInFL-álgebras e DqRAs usando espaços de Priestley duplamente pontuados, generalizando efetivamente a dualidade para estruturas não limitadas.
   • Os autores definem morfismos para estes frames e provam que são duais a homomorfismos completos das álgebras.

2. Propriedades Estruturais:

   • O artigo esclarece a relação entre qRAs e álgebras InFL comutativas, mostrando que álgebras InFL comutativas são álgebras de quase relação.
   • Provam que a identidade $\neg \sim a = - \neg a$ (previamente um axioma explícito em algumas definições) é implicada pela definição padrão de qRAs.
   • Estabelecem que álgebras de relação simétricas produzem subreductos que são, eles próprios, álgebras de relação, implicando que DqRAs que não são de relação devem advir de álgebras de relação não simétricas.

3. Enumeração e Classificação:

   • Os autores fornecem um catálogo detalhado de DInFL-álgebras e DqRAs até a cardinalidade 6 (com contagens até 8).
   • Identificam seus frames duais, vinculando-os a estruturas de poset específicas (por exemplo, $1+1+2$, $2 \times 2$, $2 \times 3$).
   • A Tabela 1 apresenta todos os frames para álgebras não triviais até o tamanho quatro.

4. Resultados de Representabilidade:

   • O artigo cataloga o status de representabilidade de álgebras finitas até o tamanho 6.
   • Identificam que muitas álgebras pequenas (por exemplo, $D^3_{1,1}$, $D^4_{1,1}$, $D^4_{1,2}$) não possuem representação conhecida. Para algumas, é provado que, se uma representação existir, ela deverá ser infinita.
   • Analisam os subreductos de DqRA das 37 álgebras de relação não simétricas de tamanho 16. Determinam que 20 destes subreductos são representáveis (derivados de álgebras de relação representáveis), enquanto o status de outros (como o subreduct da álgebra não representável 1437 de McKenzie) permanece aberto ou é mostrado como não representável como uma álgebra de relação enfraquecida.
   • O artigo observa que a menor DInFL-álgebra não cíclica (7 elementos) possui um frame dual com estrutura de poset $\triangleright \triangleleft$, e nenhuma representação é atualmente conhecida para ela.

Significância e Alegações
O artigo afirma fornecer um framework fundamental para o estudo de álgebras de quase relação distributivas e DInFL-álgebras através da dualidade. Ao estabelecer a conexão entre estas álgebras e frames parcialmente ordenados (e suas extensões topológicas), os autores oferecem ferramentas para:

• Procedimentos de Decisão: A abordagem baseada em frames facilita procedimentos de decisão (por exemplo, via métodos de tableaux) para as teorias equacionais destas álgebras.
• Teste de Representabilidade: A dualidade permite a investigação da representabilidade via "abordagens baseadas em jogos" e a análise de frames duais, de forma semelhante aos métodos usados em álgebra de relação.
• Classificação: O extenso catálogo de pequenas álgebras e seu status de representabilidade preenche uma lacuna na literatura, fornecendo uma referência concreta para pesquisas futuras.

Os autores apresentam o trabalho modestamente como uma versão expandida de uma publicação anterior [4], sendo as principais adições a inclusão da dualidade de Priestley para álgebras não limitadas e uma discussão extensa sobre a representabilidade de álgebras finitas. Eles destacam a álgebra MV de três elementos ($D^3_{1,1}$) e o subreduct de DqRA da álgebra 1437 de McKenzie como problemas abertos significativos onde a representação é atualmente desconhecida. O artigo conclui que a busca por representações destas álgebras continua sendo uma área de pesquisa ativa e atraente.