KGKherian Gracher
Menu

Ideias em prática

APPs

Este espaço reúne aplicativos que estou desenvolvendo: ferramentas para organizar informações e simplificar tarefas do dia a dia.

66 perfis lógicos

Árvores
Lógicas

Um laboratório compreensivo de tableaux para explorar sistemas clássicos e não clássicos.

Acessar Laboratório de Tableaux Acesso público · não exige conta.

Uma lógica não é todas as lógicas.

  • Catálogo amplo. 66 perfis entre lógicas clássicas, paraconsistentes, intuicionistas, modais, temporais, condicionais e lógicas de descrição.
  • Construção visual. Digite fórmulas, acompanhe a decomposição em árvore e consulte o método de tableau adequado ao perfil.
  • Contexto didático. Cada lógica possui um guia com origem, autores, importância, novidades, aplicações e bibliografia essencial.

Do clássico aos Sistemas KG. O laboratório inclui primeira ordem, famílias multivaloradas, a hierarquia de da Costa, Sistemas KG, o cubo modal, LTL, CTL, PDL e outros cálculos consolidados.

A calculadora especializada dos Sistemas KG permanece na seção Pesquisa; este aplicativo oferece uma visão comparativa e abrangente.

Em desenvolvimento

Finanças
Pessoais

Um caderno financeiro para entender o que entra, o que sai e o que ainda está por vir.

Acessar Finanças Pessoais Acesso individual com sua conta ChatGPT.

Suas finanças, em um só lugar.

  • Rotina financeira. Receitas, despesas, contas, cartões, faturas e parcelamentos em um painel integrado.
  • iCarnê. Empréstimos, financiamentos e consignados, com estimativas de saldo e quitação antecipada.
  • Visão do conjunto. Folha de pagamento, patrimônio, relatórios, fechamento mensal e exportação dos seus registros.

Empreendimentos e comprovantes. Organize reformas e projetos, vincule lançamentos, guarde documentos privados e gere relatórios com os comprovantes. O preenchimento com IA é opcional, sujeito a disponibilidade e limites, e sempre passa pela sua revisão.

Cada pessoa tem seu próprio espaço. Os registros são salvos na conta e ficam disponíveis em diferentes dispositivos, sem acesso às finanças dos demais usuários.

Os aplicativos estão em desenvolvimento contínuo. No módulo financeiro, os cálculos são estimativas e não substituem demonstrativos de instituições financeiras nem orientação profissional.