Home News Donate || Math Web browser
Use MathML compatible browser to view formulas.
Author: Victor Porton
Keywords: mathematical expressions theory, mathematical formulas theory, mathematical theory of formulas, mathematical theory of expressions, theory of mathematical formulas, theory of mathematical expressions, formulae, axiomatic theory, math logic, mathematical logic, foundation of math, foundation of mathematics, math foundations, variable substitution, morphisms, multidimensional relation, multi dimensional relation, composition of multidimensional relations, composition of multi dimensional relations, representation of formulas, representation of expressions, expression representations, algebraic logic, subexpression, subformula, indexes, indices, reindexation, category theory, theory of categories, n-ary relation, nary relation, composition relations, abstract mathematical theory, abstract theory, abstract math theory, abstract mathematics, abstract math, mathematical abstraction, math abstraction, triplet, functional dependency, functional dependencies, variable dependency, variable dependencies, dependency of variables, dependencies of variables, dependency of parameters, dependencies of parameters, X and Y, X, Y and Z
Axiomatic Theory of Formulas pages on this site.
This document is rough unfinished draft. See also an older version of formulas theory article.
21st Century Math Method, Operator Theory of Formulas, and Algebraic General Topology and Math Synthesis were developed by Victor Porton (http://ex-code.com/~porton/). See www.mathematics21.org
Please donate to the method author to help in further research.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 published by the Free Software Foundation; with the Invariant Sections being
with the Front-Cover Texts being
and with the Back-Cover Texts being
For using this document in Wiki like collaboration areas this license requirement is weakened by allowing to apply to front and back covers invariant sections rules instead of front and back cover rules in Wiki collaboration areas.
Representation Related Properties of Formulas).
See here about licensing of this text etc.
See also my suggestions for new mathematics classification categories.
Copyright © 2005 Victor Porton
Produced with XSLT Stylesheets for Math.