 | Molle.Prova de plataforma cruzada de código aberto para lógica modal |
| Baixe Agora | |
Molle. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Preço:
- FREE
- Nome do editor:
- Andrea Mocci
- Site do editor:
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 2.2 MB
Molle. Tag
Molle. Descrição
Provador de plataforma cruzada de código aberto gratuitamente para a lógica modal Molle explora o método Modal Semantic Tableaux. Molle apresenta uma interface gráfica muito utilizável, com representação interativa de modelos gerados.Note: Molle é licenciado e distribuído sob os termos da Licença Acadêmica (AFL). Requisitos: · Java. O que há de novo nesta versão: · Prove fórmulas de lógica modal proposicional · Prova com propriedades de quadro explícito: {reflexivity} (mais para vir ...) · Visualizar Tableaux Proof e Passos de Resolução · Visualizar modelos para exemplos e contra-reexamplos
Molle. Software Relacionado
NSText View e Extensões de Matemática
NSstextView modificado que permite a avaliação em linha de equações e conversões unitárias ...
279 KB