Modal Tarski algebras

• Autorzy: Celani S.
• Języki publikacji: EN

Abstrakty

EN

In this paper we shall study the representation theory for Tarski algebras with a modal operator. In particular, we shall give a representation for finite Tarski algebras and finite Tarski algebras with a modal operator by means of the so-called Tarski sets and Tarski relational sets, respectively. We will also consider some varieties of Tarski modal algebras.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2005
• Tom: Nr 39
• Strony: 113--126
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Celani S.

• Departamento de Matematica, Facultad de Ciencias Exactas, Universidad Nacional del Centro, Pinto 399, 700 Tandil, Argentina,

Bibliografia

• [1] M. Abad, J. P. Dias Varela and M. Zander, Varieties and Quasivarieties of Monadic Tarski algebras. Sientiae Mathematicae Japonicae, Vol. 56, No. 3 (2002), pp. 599– 612.
• [2] J. C. Abbott, Semi-boolean algebras, Mat. Vesnik 4 (19), (1967), pp. 177–198.
• [3] J. C. Abbott, Implicational algebras, Bull. Math, R. S. Roumaine 11 (1967), pp. 3–23.
• [4] D. Busneag, A note on deductive systems of a Hilbert algebra, Kobe J. Math. 2 (1985), pp. 29–35.
• [5] D. Busneag, On the maximal deductive systems of a bounded Hilbert algebra, Bull. Math. de la Soc. Sci. Math de la R. S. de Roumanie, 31 (79), (1987), pp. 1–13.
• [6] S. A. Celani, A note on homomorphism of Hilbert algebras, Int. Journal of Math. and Mathematical Sc. Vol. 29, No. 1 (2002), pp. 55–61.
• [7] I. Chajda, P. Halaš and J. Zednik, Filters and annihilators in Implication algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 37 (1998), pp. 41–45.
• [8] A. Diego, Surles algebras de Hilbert. Coll´ection de Logique Mathematique, serie A, 21, Gouthier-Villars, Paris, (1966).
• [9] R. Jansana, Some logics related to Wright’s Logic of Place, Notre Dame Journal of Formal Logic, Vol. 35, No. 1 (1994), pp. 88–98.
• [10] A. Monteiro and L. Iturrioz, Les Algebres de Tarski avec un nombre fini de generateurs libres, Unpublished Papers I, A. Monteiro, Notas de Lógica Matematica 40, Instituto de Matem´atica, Univ. Nac. del Sur, Bahia Blanca, Argentina, (1996).
• [11] L. Monteiro, Construction des algebres de Tarski libres sur un ensamble ordonne, Math. Japonica 23 (1) (1978), pp. 433–437.