Skip to main content
SpringerLink
Log in

Hybrid terms and sentences

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In the paper we present completeness theorems for hybrid logics, discuss the problem of finite axiomatization and study term rewriting and unification for the variety of distributive lattices and the variety of groups of exponent 2.

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

Access this article

Log in via an institution

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. J. L. Bell andA. B. Slomson,Models and Ultraproducts North-Holland, Amsterdam 1971.

    Google Scholar 

  2. G. Birkhoff,On the structure of abstract algebras Proc. Cambridge Philos. Soc. 31 (1935), pp. 433–454.

    Google Scholar 

  3. C. C. Chang andH. J. Keisler,Model Theory North-Holland, Amsterdam 1973.

    Google Scholar 

  4. H. Enderton,A Mathematical Introduction to Logic Academic Press, New York 1972.

    Google Scholar 

  5. W. D. Goldfarb,The undecidability of the second-order unification problem Theoretical Computer Science 13 (1981), pp. 225–230.

    Google Scholar 

  6. E. Graczyńska andD. Schweigert,Hypervarieties of a given time Alg. Univ. 27 (1990), pp. 305–318.

    Google Scholar 

  7. E. Graczyńska,On normal and regular identities and hyperidentities, in K. Halkowska, B. Stawski (eds)Universal and Applied Algebra, Turawa 1988, World Scientific, Singapure, pp. 107 – 135.

  8. G. Grätzer,Universal Algebra 2nd ed., Springer, New York 1979.

    Google Scholar 

  9. L. Henkin,Completeness in the theory of types Journal of Symbolic Logic 15 (1950), pp. 81–91.

    Google Scholar 

  10. H. Lausch andW. Nöbauer,Algebra of Polynomials North-Holland, Amsterdam 1973.

    Google Scholar 

  11. U. Martin andT. Nipkow,Unification in Boolean rings Journal of Automated Reasoning 4 (1989), pp. 381–396.

    Google Scholar 

  12. P. Perkins,Bases for equational theories of semigroups Journal of Algebra 11 (1968), pp. 298–314.

    Google Scholar 

  13. D. Schweigert,Clones of term functions of lattices and abelian groups Algebra Universalis 20 (1985), pp. 27–33.

    Google Scholar 

  14. D. Schweigert,Hypersentences and solid models, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. To appear.

  15. S. L. Wismath,Hyperidentity bases for rectangular bands and nilpotent semigroups. Preprint.

  16. W. Taylor,Hyperidentities and hypervarieties Aequationes Math. 23 (1981), pp. 30–49.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik der Universität, 6750, Kaiserslautern, Germany

    Dietmar Schweigert

Authors
  1. Dietmar Schweigert
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

A financial assistance by the DFG is gratefully acknowledged.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schweigert, D. Hybrid terms and sentences. Stud Logica 52, 405–417 (1993). https://doi.org/10.1007/BF01057655

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01057655

Keywords

Search

Navigation