Abstract
This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s.
In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the join infinite distributivity and Heyting implication. Then some results on algebraic completeness and conservativity of Heyting implication in substructural predicate logics are obtained as their consequences.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Banaschewski B.: ‘Hüllensysteme und Erweiterungen von Quasi-Ordnungen’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 2, 117–130 (1956)
Bezhanishivili G., Harding J.: ‘MacNeille completions of Heyting algebras’. The Houston Journal of Mathematics 30, 937–952 (2004)
Birkhoff, G., Lattice Theory 3rd ed., American Mathematical Society, Colloquium Publications 25, 1995.
Blyth, T. S., Lattices and Ordered Algebraic Structures, Universitext, Springer, 2005.
Cornish W. H.: ‘Crawley’s completion of a conditionally upper continuous lattice’. Pacific Journal of Math. 51, 397–405 (1974)
Crawley P.: ‘Regular embeddings which preserve lattice structure’. Proc. Amer. Math. Soc. 13, 748–752 (1962)
Davey B.A., Priestley H. A.: Introduction to Lattices and Order 2nd edition. Cambridge University Press, Cambridge (2002)
Dilworth R.P., McLaughlin J. E.: ‘Distributivity in lattices’. Duke Mathematical Journal 19, 683–694 (1952)
Došen K.: ‘Sequent systems and groupoid models. II’. Studia Logica 48, 41–65 (1989)
Gabbay, D. M., D. Skvortsov, and V. Sheftman, Quantification in Nonclassical Logic, Studies in Logic and the Foundation of Mathematics 153, Elsevier, 2009.
Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: an Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics 151, Elsevier, 2007.
García-Cerdaña, A., On some implication-free fragments of substructural and fuzzy logics, Monografies de l’Institut d’Investigació en Intel.ligència Artificial 34, Institut d’Investigació en Intel.ligència Artificial, Consell Superior d’Investigacions Científiques, 2008.
Goldblatt R.: ‘Conservativity of Heyting implication over relevant quantification’. Review of Symbolic Logic 2, 310–341 (2009)
Harding J.: ‘Completions of ordered algebraic structures: a survey’. Interval/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing 46, 231–244 (2008)
Hart J., Rafter L., Tsinakis C.: ‘The structure of commutative residuated lattices’. International Journal of Algebra and Computation 12, 509–524 (2002)
Janowitz M. F.: ‘Section semicomplemented lattices’. Mathematische Zeitschrift 108, 63–76 (1968)
Montagna F., Ono H.: ‘Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL∀’. Studia Logica 71, 227–245 (2002)
Ono H.: ‘A study of intermediate predicate logics’. Publications of the Research Institute for Mathematical Sciences, Kyoto University 8, 619–649 (1973)
Ono, H., ‘Semantics for substructural logics’, in K. Došen and P. Schroeder-Heister (eds.), Substructural Logics, Oxford Univ. Press, 1993, pp. 259–291.
Ono, H., ‘Algebraic semantics for predicate logics and their completeness’, in E. Orlowska (ed.), Logic at Work; Essays dedicated to the memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing 24), Physica-Verlag, 1999, pp. 637–650.
Ono H.: ‘Closure operators and complete embeddings of residuated lattices’. Studia Logica 74, 427–440 (2003)
Ono, H., ‘Completions of algebras and completeness of modal and substructural logics’, in P. Balbiani et al. (eds.), Advances in Modal Logic 4, King’s College Publications, 2003, pp. 335–353.
Ono H., Komori Y.: ‘Logics without the contraction rule’. Journal of Symbolic Logic 50, 169–201 (1985)
Rasiowa H.: ‘Algebraic treatment of the functional calculi of Heyting and Lewis’. Fundamenta Mathematicae 38, 99–126 (1951)
Rasiowa H., Sikorski R.: The Mathematics of Metamathematics. PWN-Polish Science Publishers, Warszawa (1963)
Restall, G., An Introduction to Substructural Logics, Routledge, 2000.
Schmidt J.: ‘Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets’. Journal für die reine und angewandte Mathematik 255, 8–22 (1972)
Schmidt J., Tsinakis C.: ‘Relative pseudo-complements, join-extensions, and meet-retractions’. Mathematische Zeitschrift 157, 271–284 (1977)
Smith D.P.: ‘Meet-irreducible elements in implicative lattices’. Proceedings of American Mathematical Society 34, 57–62 (1972)
Theunissen M., Venema Y.: ‘MacNeille completions of lattice expansions’. Algebra Universalis 57, 143–193 (2007)
Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics II, North- Holland Publ. Co., 1988.
Tsinakis, C., ‘Join-completions of residuated structures’, unpublished note, 2003.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memoriam Leo Esakia
Rights and permissions
About this article
Cite this article
Ono, H. Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Stud Logica 100, 339–359 (2012). https://doi.org/10.1007/s11225-012-9381-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9381-3