Well-structured mathematical logic
Methodology of mathematics (00A35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) General logic (03B99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Knowledge representation (68T30)
This is not a book on mathematical logic in the standard sense of the term ``mathematical logic. Instead, the author aims to provide a completely new form of formalization of mathematics and mathematical reasoning -- largely based upon ideas from structured programming in computer science.NEWLINENEWLINEThe main tools the author uses for his analysis of phrase structures are nested, flowing, and random-accessed structures. His formalized mathematical texts hence look like structured programs. The core expressive means besides the usual first-order quantifications are two kinds of substitution operators, and unary operators for: given, required, not.NEWLINENEWLINEFor this formalization, basic inference rules are given and intuitively motivated. Therefore, something like a strong completeness proof for this inference mechanism is not available. In any case, classical logic is supposed to hold in the author's metalanguage considerations.
- scientific article; zbMATH DE number 5994598
- Mathematical logic
- scientific article; zbMATH DE number 3248792
- scientific article; zbMATH DE number 5500964
- Mathematical Logic
- scientific article; zbMATH DE number 3241254
- Mathematical logic
- Mathematische Logik
- scientific article; zbMATH DE number 663929
This page was built for publication: Well-structured mathematical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849811)
