Axiomatic Theory of Formulas

Victor Porton Part 1. Axiomatic Theory of Formulas Preface Overview This new mathematical theory developed by the book author researches the properties of mathematical formulas (aka expressions). Naturally this theory is essential for the mathematics. Formulas are encountered in all areas of mathematics. Probably of special interest are propositional formulas in math logic. Using Operator…… Continue reading Axiomatic Theory of Formulas