Cargando…

Matrix logic /

In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Stern, August, 1945-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier, 1988.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario:In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base.
Descripción Física:1 online resource (viii, 215 pages) : illustrations
ISBN:0444704329
9780444704320
9781483295497
1483295494