From closure-operatic deductive methodology to non-standard alternatives (Q2702290)

In a series of papers of the thirties Tarski developed a general logical concept based on the notion of the consequence operation. As a move in the same direction the author describes the presence of other methodological frameworks, each based on a single primitive term, alternative to the Tarskian framework, referred to as non-standard to contrast them with the Tarskian one. After a brief introduction to non-standard alternatives, the author proceeds to a detailed presentation of a normalization procedure for a uniform description of all these methodological set-ups followed by the application of this procedure to discussing the problem of saturation within each of these set-ups.NEWLINENEWLINEFor the entire collection see [Zbl 0946.00016].