Chargement en cours…

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Stern, August, 1945-
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier, 1988.
Sujets:
Accès en ligne:Texto completo
Description
Résumé: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.
Description matérielle:1 online resource (viii, 215 pages) : illustrations
ISBN:0444704329
9780444704320
9781483295497
1483295494