Синтез логических аксиом в пространстве гиперкубовых структур.
Article Sidebar
Опубликован:
02.11.2004
Main Article Content
Аннотация
We consider a method for logical analysis based on geometric interpretation of propositional formulas. A logical formula is represented as a unit hypercube in an orthogonal basis of dimension equal to the locality of the formula. It is shown that the analysis of cube intersections in accordance with simple visual criteria allows one to formulate logical axioms. The possibility to construct programming tools for estimating the truth of formulas according to visual perceptions is discussed.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Суворов В. Синтез логических аксиом в пространстве гиперкубовых структур. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 267-277.
Выпуск
Раздел
Статьи
Литература
Ольшанский Л.Ю. Геометрия определяющих соотношений в группах. М.: Наука, 1989.
DezaM., Laurent М. Isometric hypercube embedding of generalized bipartite metrics 11 Discrete Applied Mathematics, 56, 1995, 215-230.
DezaM., GrishukinV. Hypermetric two-distance spaces II J.Combin. Inform. System Sci. 25 (2000) 89-132.
CoxJ.L. Digital Morse Theory With Suggested Applications. City University of New York Department of Computer Science CUNY Graduate Center URL: http://www.casi.net/D. DMT/D.Overview/AcademicPressPaper 1403/index.html
Bryant R.E. Symbolic Boolean manipulation with ordered binary-decision diagrams // ACM Computing Surveys. V.24, 3, 1992.
Новиков П.С. Конструктивная математическая логика с точки зрения классической. М.: Наука, 1977.
Домбровский Б. Т. Львовско-варшавская философская школа. URL: http://www.philosophv ru/library/dombrovski.
Философия и логика Львовско-Варшавской Школы. М.: РОССПЭН, 1999.
DezaM., Laurent М. Isometric hypercube embedding of generalized bipartite metrics 11 Discrete Applied Mathematics, 56, 1995, 215-230.
DezaM., GrishukinV. Hypermetric two-distance spaces II J.Combin. Inform. System Sci. 25 (2000) 89-132.
CoxJ.L. Digital Morse Theory With Suggested Applications. City University of New York Department of Computer Science CUNY Graduate Center URL: http://www.casi.net/D. DMT/D.Overview/AcademicPressPaper 1403/index.html
Bryant R.E. Symbolic Boolean manipulation with ordered binary-decision diagrams // ACM Computing Surveys. V.24, 3, 1992.
Новиков П.С. Конструктивная математическая логика с точки зрения классической. М.: Наука, 1977.
Домбровский Б. Т. Львовско-варшавская философская школа. URL: http://www.philosophv ru/library/dombrovski.
Философия и логика Львовско-Варшавской Школы. М.: РОССПЭН, 1999.