Skip to main content
Log in

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Banaschewski B.: ‘Hüllensysteme und Erweiterungen von Quasi-Ordnungen’. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 2, 117–130 (1956)

    Article  Google Scholar 

  2. Bezhanishivili G., Harding J.: ‘MacNeille completions of Heyting algebras’. The Houston Journal of Mathematics 30, 937–952 (2004)

    Google Scholar 

  3. Birkhoff, G., Lattice Theory 3rd ed., American Mathematical Society, Colloquium Publications 25, 1995.

  4. Blyth, T. S., Lattices and Ordered Algebraic Structures, Universitext, Springer, 2005.

  5. Cornish W. H.: ‘Crawley’s completion of a conditionally upper continuous lattice’. Pacific Journal of Math. 51, 397–405 (1974)

    Google Scholar 

  6. Crawley P.: ‘Regular embeddings which preserve lattice structure’. Proc. Amer. Math. Soc. 13, 748–752 (1962)

    Article  Google Scholar 

  7. Davey B.A., Priestley H. A.: Introduction to Lattices and Order 2nd edition. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  8. Dilworth R.P., McLaughlin J. E.: ‘Distributivity in lattices’. Duke Mathematical Journal 19, 683–694 (1952)

    Article  Google Scholar 

  9. Došen K.: ‘Sequent systems and groupoid models. II’. Studia Logica 48, 41–65 (1989)

    Article  Google Scholar 

  10. Gabbay, D. M., D. Skvortsov, and V. Sheftman, Quantification in Nonclassical Logic, Studies in Logic and the Foundation of Mathematics 153, Elsevier, 2009.

  11. 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.

  12. 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.

  13. Goldblatt R.: ‘Conservativity of Heyting implication over relevant quantification’. Review of Symbolic Logic 2, 310–341 (2009)

    Article  Google Scholar 

  14. Harding J.: ‘Completions of ordered algebraic structures: a survey’. Interval/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing 46, 231–244 (2008)

    Article  Google Scholar 

  15. Hart J., Rafter L., Tsinakis C.: ‘The structure of commutative residuated lattices’. International Journal of Algebra and Computation 12, 509–524 (2002)

    Article  Google Scholar 

  16. Janowitz M. F.: ‘Section semicomplemented lattices’. Mathematische Zeitschrift 108, 63–76 (1968)

    Article  Google Scholar 

  17. Montagna F., Ono H.: ‘Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL∀’. Studia Logica 71, 227–245 (2002)

    Article  Google Scholar 

  18. Ono H.: ‘A study of intermediate predicate logics’. Publications of the Research Institute for Mathematical Sciences, Kyoto University 8, 619–649 (1973)

    Article  Google Scholar 

  19. Ono, H., ‘Semantics for substructural logics’, in K. Došen and P. Schroeder-Heister (eds.), Substructural Logics, Oxford Univ. Press, 1993, pp. 259–291.

  20. 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.

  21. Ono H.: ‘Closure operators and complete embeddings of residuated lattices’. Studia Logica 74, 427–440 (2003)

    Article  Google Scholar 

  22. 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.

  23. Ono H., Komori Y.: ‘Logics without the contraction rule’. Journal of Symbolic Logic 50, 169–201 (1985)

    Article  Google Scholar 

  24. Rasiowa H.: ‘Algebraic treatment of the functional calculi of Heyting and Lewis’. Fundamenta Mathematicae 38, 99–126 (1951)

    Google Scholar 

  25. Rasiowa H., Sikorski R.: The Mathematics of Metamathematics. PWN-Polish Science Publishers, Warszawa (1963)

    Google Scholar 

  26. Restall, G., An Introduction to Substructural Logics, Routledge, 2000.

  27. 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)

    Google Scholar 

  28. Schmidt J., Tsinakis C.: ‘Relative pseudo-complements, join-extensions, and meet-retractions’. Mathematische Zeitschrift 157, 271–284 (1977)

    Article  Google Scholar 

  29. Smith D.P.: ‘Meet-irreducible elements in implicative lattices’. Proceedings of American Mathematical Society 34, 57–62 (1972)

    Article  Google Scholar 

  30. Theunissen M., Venema Y.: ‘MacNeille completions of lattice expansions’. Algebra Universalis 57, 143–193 (2007)

    Article  Google Scholar 

  31. Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics II, North- Holland Publ. Co., 1988.

  32. Tsinakis, C., ‘Join-completions of residuated structures’, unpublished note, 2003.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hiroakira Ono.

Additional information

In memoriam Leo Esakia

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9381-3

Keywords

Navigation