Geodesic
The ${\mathcal L}^m_n$-propositional calculus
Mathematica Bohemica, Tome 140 (2015) no. 1, pp. 11-33

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the ${\mathcal L}^{m}_{n}$-propositional calculus, denoted by ${\ell ^{m}_{n}}$, is introduced in terms of the binary connectives $\to $ (implication), $\twoheadrightarrow $ (standard implication), $\wedge $ (conjunction), $\vee $ (disjunction) and the unary ones $f$ (negation) and $D_{i}$, $1\leq i\leq n-1$ (generalized Moisil operators). It is proved that ${\ell ^{m}_{n}}$ belongs to the class of standard systems of implicative extensional propositional calculi. Besides, it is shown that the definitions of $L^{m}_{n}$-algebra and ${\ell ^{m}_{n}}$-algebra are equivalent. Finally, the completeness theorem for ${\ell ^{m}_{n}}$ is obtained.
T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the ${\mathcal L}^{m}_{n}$-propositional calculus, denoted by ${\ell ^{m}_{n}}$, is introduced in terms of the binary connectives $\to $ (implication), $\twoheadrightarrow $ (standard implication), $\wedge $ (conjunction), $\vee $ (disjunction) and the unary ones $f$ (negation) and $D_{i}$, $1\leq i\leq n-1$ (generalized Moisil operators). It is proved that ${\ell ^{m}_{n}}$ belongs to the class of standard systems of implicative extensional propositional calculi. Besides, it is shown that the definitions of $L^{m}_{n}$-algebra and ${\ell ^{m}_{n}}$-algebra are equivalent. Finally, the completeness theorem for ${\ell ^{m}_{n}}$ is obtained.
DOI : 10.21136/MB.2015.144176
Classification : 03B60, 03G10, 06D99
Keywords: Łukasiewicz algebra of order $n$; $m$-generalized Łukasiewicz algebra of order $n$; equationally definable principal congruences; implicative extensional propositional calculus; completeness theorem 
Gallardo, Carlos; Ziliani, Alicia. The ${\mathcal L}^m_n$-propositional calculus. Mathematica Bohemica, Tome 140 (2015) no. 1, pp. 11-33. doi: 10.21136/MB.2015.144176
@article{10_21136_MB_2015_144176,
     author = {Gallardo, Carlos and Ziliani, Alicia},
     title = {The ${\mathcal L}^m_n$-propositional calculus},
     journal = {Mathematica Bohemica},
     pages = {11--33},
     year = {2015},
     volume = {140},
     number = {1},
     doi = {10.21136/MB.2015.144176},
     mrnumber = {3324416},
     zbl = {06433695},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144176/}
}
TY  - JOUR
AU  - Gallardo, Carlos
AU  - Ziliani, Alicia
TI  - The ${\mathcal L}^m_n$-propositional calculus
JO  - Mathematica Bohemica
PY  - 2015
SP  - 11
EP  - 33
VL  - 140
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144176/
DO  - 10.21136/MB.2015.144176
LA  - en
ID  - 10_21136_MB_2015_144176
ER  - 
%0 Journal Article
%A Gallardo, Carlos
%A Ziliani, Alicia
%T The ${\mathcal L}^m_n$-propositional calculus
%J Mathematica Bohemica
%D 2015
%P 11-33
%V 140
%N 1
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2015.144176/
%R 10.21136/MB.2015.144176
%G en
%F 10_21136_MB_2015_144176

[1] Almada, T., Carvalho, J. Vaz de: A generalization of the Łukasiewicz algebras. Stud. Log. 69 329-338 (2001). | DOI | MR

[2] Berman, J.: Distributive lattices with an additional unary operation. Aequationes Math. 16 165-171 (1977). | DOI | MR | Zbl

[3] Blyth, T. S., Varlet, J. C.: Ockham Algebras. Oxford Science Publications Oxford University Press, Oxford (1994). | MR | Zbl

[4] Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. Annals of Discrete Mathematics 49 North-Holland, Amsterdam (1991). | MR | Zbl

[5] Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Graduate Texts in Mathematics 78 Springer, New York (1981). | DOI | MR | Zbl

[6] Cignoli, R.: Moisil Algebras. Notas de Lógica Mathemática 27 Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca (1970). | MR | Zbl

[7] Figallo, A. V., Gallardo, C., Ziliani, A.: Weak implication on generalized Łukasiewicz algebras of order $n$. Bull. Sect. Log., Univ. Łód'z, Dep. Log. 39 187-198 (2010). | MR | Zbl

[8] Maronna, R.: A characterization of Morgan lattices. Port. Math. 23 169-171 (1964). | MR | Zbl

[9] Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics 78 North-Holland Publishing, Amsterdam; Elsevier Publishing, New York (1974). | MR | Zbl

[10] Sholander, M.: Postulates for distributive lattices. Can. J. Math. 3 28-30 (1951). | DOI | MR | Zbl

[11] Urquhart, A.: Distributive lattices with a dual homomorphic operation. Stud. Log. 38 201-209 (1979). | DOI | MR | Zbl

[12] Carvalho, J. Vaz de: On the variety of $m$-generalized Łukasiewicz algebras of order $n$. Stud. Log. 94 291-305 (2010). | DOI | MR

Cité par Sources :