Lógica básica con afirmación alterna
El lenguaje del sistema extiende el lenguaje de la lógica clásica al incluir un operador para la noción de afirmación alterna (en contraste con la afirmación clásica o afirmación usual), y también operadores de incompatibilidad y determinabilidad entre la pareja de operadores negación versus afirmac...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad EAFIT
2005-06-01
|
| coleção: | Ingeniería y Ciencia |
| Assuntos: | |
| Acesso em linha: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/507 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|