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

Algebraic Theory of General Topology and Discontinuous Analysis book

An earlier version of this work was published by scientific publisher INFRA-M. Introduced several new axiomatic systems not less general than group theory and discontinuous analysis. In this work I introduce and study in details the concepts of funcoids which generalize proximity spaces and reloids which generalize uniform spaces, and generalizations thereof. The concept of…… Continue reading Algebraic Theory of General Topology and Discontinuous Analysis book