Geodesic
An effective criterion of deductivity of a sets of logical formulas
Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 1 (2017), pp. 95-103 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

R. Wojcicki introduced the notion of well-defined logic [1]. A propositional logic is called well-determined if it satisfies conjunction property and deductive theorem. Well-determined logics are interested because their logical consequence may be certainly represented by means of the logic. Note that R. Wojcicki proved a criterion of deductivity for a set of formulas in which he claimed the testing set to contain some certain infinite set of formulas. Therefore, the proposed criterion is not effective (not algorithmic). In this paper some effective criterions for deductivity of sets of formulas in languages with implication and conjunction are proved. Also it is proved that minimal deductive sets in languages of well-determined logics are finitely axiomatizable.
Keywords: well-determined logic, deductive set. 
@article{VTPMK_2017_1_a7,
     author = {I. A. Gorbunov},
     title = {An effective criterion of deductivity of a sets of logical formulas},
     journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika},
     pages = {95--103},
     year = {2017},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTPMK_2017_1_a7/}
}
TY  - JOUR
AU  - I. A. Gorbunov
TI  - An effective criterion of deductivity of a sets of logical formulas
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2017
SP  - 95
EP  - 103
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2017_1_a7/
LA  - ru
ID  - VTPMK_2017_1_a7
ER  - 
%0 Journal Article
%A I. A. Gorbunov
%T An effective criterion of deductivity of a sets of logical formulas
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2017
%P 95-103
%N 1
%U http://geodesic.mathdoc.fr/item/VTPMK_2017_1_a7/
%G ru
%F VTPMK_2017_1_a7
I. A. Gorbunov. An effective criterion of deductivity of a sets of logical formulas. Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 1 (2017), pp. 95-103. http://geodesic.mathdoc.fr/item/VTPMK_2017_1_a7/

[1] Wojcicki R., “Well-Determined Logics”, Lectures on Propositional Calculi, Ossolineum, Wroclaw, 1984, 37-40 http://sl.fr.pl/wojcicki/Wojcicki-Lectures.pdf | MR

[2] Gorbunov I. A., “Well-determined logics”, Logical Investigations, 17 (2011), 95-108 (in Russian) | MR | Zbl