Abstract
The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.
Similar content being viewed by others
References
Brignole, D., and A. Monteiro, 1967, ‘Caractérisation des algèbres de Nelson par égalités. I, II’, Proc. Japan Acad. 43, 279-285.
Cignoli, R., 1986, ‘The class of Kleene algebras satisfying an interpolation property and Nelson algebras’, Algebra Universalis 23, 262-292.
Cignoli, R., 1970, ‘Moisil algebras’, Notas de Lógica Matemática 27, Instituto de Matem. UN del Sur, B. Blanca.
Cignoli, R., and M. Sagastume De Gallego, 1983, ‘Dualities for some De Morgan algebras with operators and Łukasiewicz algebras’, J. Austral. Math. Soc. (Series A) 34, 377-393.
Fidel, M., ‘Un cálculo modal correspondiente a las álgebras de Moisil de orden’ (unpublished).
Galli, A., and M. Sagastume, Symmetric-intuitionistic connectives', Proceedings of the X Latinamerican Simposium on Mathematical Logic (to appear).
Iturrioz, L., 1977, Łukasiewicz and symmetric Heyting algebras', Z. Math. Logik Grundlagen Math. 23, 131-136.
Johnstone, P. T., 1982, Stone Spaces, Cambridge University Press.
Lambek, J., and P. J. Scott, 1986, Introduction to Higher Order Categorical Logic, Cambridge University Press.
Makkai, M., and G. E. Reyes, 1995, ‘Completeness results for intuitionistic and modal logic in a categorical setting’, Annals of Pure and Applied Logic 72, 25-101.
Monteiro, A., 1980, ‘Sur les algébres de Heyting symétriques’, Portugaliae Mathematica Vol. 39, 1-237.
Reyes, G. E., and H. Zolfaghari, 1996, ‘Bi-Heyting algebras, toposes and modalities’, Journal of Philosophical Logic 25, 25-43.
Vakarelov, D., 1977, ‘Notes on N-lattices and constructive logic with strong negation’, Studia Logica 36, 109-125.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Galli, A., Sagastume, M. & Reyes, G.E. Completeness Theorems via the Double Dual Functor. Studia Logica 64, 61–81 (2000). https://doi.org/10.1023/A:1005238330484
Issue Date:
DOI: https://doi.org/10.1023/A:1005238330484