Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
| Autor principal: | Wallen, Lincoln A. |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
Massachusetts institute of technology,
1989
|
| Colección: | MIT press in artificial intelligence
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Matrix proof method in annotated paraconsistent logic
por: Kaestner, Celso A. A.
Publicado: (1995) -
Proof, logic, and formalization
Publicado: (1992) -
First-order logic and automated theorem proving /
por: Fitting, Melvin
Publicado: (1996) -
The first-order hypothetical logic of proofs
Publicado: (2017) -
The first-order hypothetical logic of proofs
por: Steren, G., et al.