Синтез логических аксиом в пространстве гиперкубовых структур.
##plugins.themes.bootstrap3.article.sidebar##
Published:
02.11.2004
##plugins.themes.bootstrap3.article.main##
Abstract
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Suvorov V. Синтез логических аксиом в пространстве гиперкубовых структур. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 267-277.
Issue
Section
Papers
References
Ольшанский Л.Ю. Геометрия определяющих соотношений в группах. М.: Наука, 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.