Skip to main content
SpringerLink
Log in

Institutions of variable truth values: An approach in the ordered style

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

The concept of institution of variable truth values is introduced and some main results about institutions are generalized. In particular, some properties of institutions of variable truth values preserved by change of truth values are established.

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. Delahaye J P, Thibau V. Programming in three-valued logic.Theoret. Comput. Sci., 1991, 78:189–216.

    Article  MATH  MathSciNet  Google Scholar 

  2. Fitting M. Partial model and logic programming.Theoret. Comput. Sci., 1986, 48: 229–255.

    Article  MATH  MathSciNet  Google Scholar 

  3. Goguen J A, Burstall R M. Introducing institutions. InProceedings of the Logics of Programming Working-Shop, Lecture Notes in Computer Science 164, Clarke E, Kozen D (eds.), Springer-Verlag, New York, 1984, 221–256.

    Google Scholar 

  4. Goguen J A, Burstall R M. Institutions: abstract model theory for specification and programming.JACM, 1992, 39: 95–146.

    Article  MATH  MathSciNet  Google Scholar 

  5. Goguen J A, Burstall R M. A study in the foundations of programming methodology: specifications, institutions, characters and parchments. InProceedings of the Conference on Category Theory and Computer Programming, Lecture Notes in Computer Science 240, Pitt D, Abramsky S, Poigne A, Rydehard D (eds.), Springer-Verlag, New York, 1986, 313–333.

    Google Scholar 

  6. Mayoh B. Galleries and institutions. Tech. Rep. DAIMI PB-191, Aarhus Univ., Demank, 1985.

    Google Scholar 

  7. Mycroft A. Logic programs and many-valued logic. InSTACS'84, Lecture Notes in Computer Science 166, Springer-Verlag, Berlin, 1984, 274–286.

    Google Scholar 

  8. Ying Mingsheng. The fundamental theorem of ultraproduct in Pavelka's logic.Zeitschr. f. Math. Logik und Grundlagen d. Math., 1982, 38: 197–201.

    Article  Google Scholar 

  9. Ying Mingsheng. Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values.Zeitschr. f. Math. Logik und Grundlagen d. Math., 1992, 38: 521–524.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Jiangxi Normal University, 330027, Nanchang

    Ying Mingsheng

Authors
  1. Ying Mingsheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Supported by the National Research and Development Project of High-Technology.

Ying Mingsheng graduated from Fuzhou Branch of Jiangxi Normal College in 1981. He joined Jiangxi Normal University in 1989. Since 1992, he has been a Professor of mathematics at that university. His research interests include mainly mathematical logic and its application in computer science and artificial intelligence, fuzzy logic and approximate reasoning, and topology based on non-classical logics.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ying, M. Institutions of variable truth values: An approach in the ordered style. J. of Compt. Sci. & Technol. 10, 267–273 (1995). https://doi.org/10.1007/BF02943494

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation