Geodesic
A test for completeness with respect to implicit reducibility in the chain super-intutionistic logics
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, no. 1 (2006), pp. 23-30 
I. V. Cucu. A test for completeness with respect to implicit reducibility in the chain super-intutionistic logics. Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, no. 1 (2006), pp. 23-30. http://geodesic.mathdoc.fr/item/BASM_2006_1_a2/
@article{BASM_2006_1_a2,
     author = {I. V. Cucu},
     title = {A~test for completeness with respect to implicit reducibility in the chain super-intutionistic logics},
     journal = {Buletinul Academiei de \c{S}tiin\c{t}e a Republicii Moldova. Matematica},
     pages = {23--30},
     year = {2006},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BASM_2006_1_a2/}
}
TY  - JOUR
AU  - I. V. Cucu
TI  - A test for completeness with respect to implicit reducibility in the chain super-intutionistic logics
JO  - Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
PY  - 2006
SP  - 23
EP  - 30
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/BASM_2006_1_a2/
LA  - en
ID  - BASM_2006_1_a2
ER  - 
%0 Journal Article
%A I. V. Cucu
%T A test for completeness with respect to implicit reducibility in the chain super-intutionistic logics
%J Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
%D 2006
%P 23-30
%N 1
%U http://geodesic.mathdoc.fr/item/BASM_2006_1_a2/
%G en
%F BASM_2006_1_a2

Voir la notice de l'article provenant de la source Math-Net.Ru

We examine chain logics $C_2,C_3,\dots$, which are intermediary between classical and intuitionistic logics. They are also the logics of pseudo-Boolean algebras of type $\langle E_m,\,\vee,\supset,\neg\rangle$, where $E_m$ is the chain $0\tau_ 1\tau_2\dots\tau_{m-2}1$ ($m=2,3,\dots$). The formula $F$ is called to be implicitly expressible in logic $L$ by the system $\Sigma$ of formulas if the relation $$ L\vdash(F\sim q)\sim((G_1\sim H_1)\\dots\(C_k\sim H_k)) $$ is true, where $q$ do not appear in $F$, and formula$G_i$ and $H_i$, for $i=1,\dots, k$, are explicitly expressible in $L$ via $\Sigma$ The formula $F$ is said to be implicitly reducible in logic $L$ to formulas of $\Sigma$ if there exists a finite sequence of formulas $G_1,G_2,\dots,G_l$ where $G_l$ coincides with $F$ and for $j = 1,\dots,l$ the formula $G_j$ is implicitly expressible in $L$ by $\Sigma\cup\{G_1,\dots,G_{j-1}\}$. The system $\Sigma$ is called complete relative to implicit reducibility in logic $L$ if any formula is implicitly reducible in $L$ to $\Sigma$. The paper contains the criterion for recognition of completeness with respect to implicit reducibility in the logic $C_m$, for any $m=2,3,\dots$ . The criterion is based on 13 closed pre-complete classes of formulas.

[1] Post E. L., Two-valued iterative systems of mathematical logic, Princeton, 1941 | MR | Zbl

[2] Iablonski S. V., “Functional constuctions in $k$-valued logic”, Trudy MIAN SSSR, 51, Moscow, 1958, 5–142 (in Russian) | MR

[3] Rosenberg I., C. R. Acad. Sci. Groupe 1, 260, Paris, 1965, 3817–3819 | MR | Zbl

[4] Raţa M. F., “On functional completeness in the intuitionistic logic”, Probl. Kibern., 1982, no. 39, 107–150 (in Russian)

[5] Kuznetsov A. V., “On functional expressibility in super-intuitionistic logics”, Mat. Issled., 6:4 (1971), 75–122 (in Russian) | MR | Zbl

[6] Iaśkowski S., Actes du Congres Intern. de Philosophie Scientifique, VI, Paris, 1936, 58–61

[7] Ianov Iu. I., Muchinik A. A., “On the existence of $k$-valued closed classes without finite basis”, DAN SSSR, 127:1 (1959), 44–46 (in Russian) | MR

[8] Rasiowa H., Sikorski R., The mathematics of Metamathematics, Warszawa, 1963 | MR

[9] Kuznetsov A. V., “On tools for the discovery of nondeducibility or nonexpressibility”, Logical Deduction, Nauka, Moscow, 1979, 5–33 (in Russian) | MR

[10] Dummett M. A., “A propositional calculus with denumerable matrix”, J. Symb. Logic, 242 (1959), 97–106 | DOI | MR

[11] Gödel K., “Zum intuitionistischen Aussagenkalkül”, Akad. Wiss. Anzeiger, 69 (1932), 65–66 | Zbl

[12] Birkhoff G., Lattice theory, New York, 1960

[13] Cohn P. M., Universal Algebra, New York, 1965 | MR

[14] Raţa M. F., “On the class of functions of three-valued logic corresponding to First Iaśkowski's Matrix”, Probl. Kibern., 1969, no. 21, 185–214 (in Russian) | Zbl

[15] Raţa M. F., Cucu I. V., “On completeness with respect to implicit reducibility in the logic of First Iaśkowski's Matrix”, Bul. Acad. of Sci. of Moldova, 1988, no. 1, 23–29 (in Russian) | MR