Errata on „On the variety of heyting algebras with successor generated by all finite chains"

• Autorzy: Castiglioni J. L. , San Martín J.
• Języki publikacji: EN
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2013
• Tom: Vol. 48
• Strony: 117--120
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Castiglioni J. L.

• Departamento de Matematica, Facultad de Ciencias Exactas, UNLP. Casilla de correos 172, La Plata (1900) Argentina

autor

San Martín J.

• Departamento de Matematica, Facultad de Ciencias Exactas, UNLP. Casilla de correos 172, La Plata (1900) Argentina

Bibliografia

• [1] X. Caicedo, R. Cignoli, An algebraic approach to intuitionistic connectives. Journal of Symbolic Logic 66:4 (2001), pp. 1620-1636.
• [2] X. Caicedo, Kripke semantics for Kuznetsov connective, Personal comunication (2008).
• [3] J.L. Castiglioni, H.J. San Martin, On the variety of Heyting algebras with successor generated by all finite chains. Reports on Mathematical Logic 45 (2010), pp. 225-248.
• [4] A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symbolic Logic 34 (1969), pp. 395-408.