Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”

Publication date: 26.11.2013

Reports on Mathematical Logic, 2013, Number 48, pp. 117-120

Authors

Download full text

PDF

Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”

Download references

[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 Mart´ın, On the variety of Heyting algebras with successor generated by all ﬁnite chains.

[4] A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symbolic Logic 34 (1969), pp. 395-408.

Information: Reports on Mathematical Logic, 2013, Number 48, pp. 117-120

DOI: https://doi.org/10.4467/20842589RM.12.006.0687

Article type: Original article

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

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

Published at: 26.11.2013

Article status: Open

Licence: None

Percentage share of authors:

José L. Castiglioni (Author) - 50%

Hernán J. San Martín (Author) - 50%

Article corrections:

Publication languages:

English

View count: 1881

Number of downloads: 1095

Download xml