An algebraic approach to intuitionistic connectives

Journal of Symbolic Logic

Volumn 66, Issue 4, 2001, Pages 1620-1636

  Caicedo, Xavier ^a   Cignoli, Roberto ^b  

^a UNIVERSIDAD DE LOS ANDES   (Colombia)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035732894     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2694965     Document Type: Article

References (21)

1. R. BALBES and P. DWINGER, Distributive lattices, University of Missouri Press, Columbia, Missouri, 1974.
2. X. CAICEDO, Investigaciones acerca de los conectivos intuicionistas, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, vol. 19 (1995), pp. 705-716.
3. _, Conectivos sobre espacios topológicos, Revista de la Academia Colombiana de Ciencias Exactas, Físicas y Naturales, vol. 21 (1997). pp. 521-534.
4. M. C. FITTING, Intuitionistic logic, model theory, and forcing, North-Holland, Amsterdam, 1969.
5. P. FREYD, Aspects of topoi, Bulletin of the Australian Mathematical Society, vol. 7 (1972). pp. 1-76.
6. D. M. GABBAY, On some new intuitionistic propositional connectives, I, Studio Logica, vol. 36 (1977), pp. 127-139.
7. _, Semantical investigations in Heyting intuitionistic logic, Reidel Publishing Company, Dordrecht, 1981.
8. R. GOLDBLATT, Topoi, the categorical analysis of logic, North Holland, Amsterdam, 1984.
9. G. GRÄTZER, On boolean functions, (Notes on lattice theory II), Revue Roumaine de Mathématiques Pures et Appliquées, vol. 7, 1962, pp. 693-697.
10. T. HECHT and T. KATRINÁK, Equational classes of relative Stone algebras, Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 248-254.
11. K. KAARLY and A. F. PIXLEY, Affine complete varieties, Algebra Universalis, vol. 24 (1987). pp. 74-90.
12. _, Polynomial completeness in algebraic systems, Chapman and Hall, Boca Ratón, 2000.
13. M. KAMINSKI, Nonstandard connectives of intuitionistic propositional logic, Notre Dame Journal of Formal Logic, vol. 29 (1988), pp. 309-331.
14. L. MONTEIRO, Algèbre du calcul propositionnel trivalent de Heyting, Fundamenta Mathematicae, vol. 74 (1972), pp. 99-109.
15. A. PIXLEY, Completeness in arithmetical algebras, Algebra Universalis, vol. 2 (1972), pp. 179-196.
16. H. RASIOWA, An algebraic approach to non-classical logics, North Holland, Amsterdam, 1974.
17. H. RASIOWA and R. SIKORSKI, The mathematics of metamathematics, Polish Scientific Publishers, Warsaw, 1963, Third edition, 1970.
18. G. E. REYES and H. ZOLFAGHARI, Bi-Heyting Algebras, topos and modalities, Journal of Philosophical Logic, vol. 25 (1996), pp. 25-43.
19. I. THOMAS, Finite limitations on Dummett's LC, Notre Dame Journal of Formal Logic, vol. 3 (1962), pp. 170-174.
20. A. TOURAILLE, The word problem for Heyting* algebras, Algebra Universalis, vol. 24 (1987). pp. 120-127.
21. A. D. YASHIN, New solutions to Novikov's problem for intuitionistic connectives, Journal of Logic and Computation, vol. 8 (1998), pp. 637-664.