External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Multiple-Valued Logics as Institutions

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo. Formalizing Multiple-Valued Logics as Institutions. In Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh, editors, Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 90, Paris, France, July 2-6, 1990, Proceedings. Volume 521 of Lecture Notes in Computer Science, pages 269-278, Springer, 1990. 

@inproceedings{Agusti-CullellEGG90,
  title = {Formalizing Multiple-Valued Logics as Institutions},
  author = {Jaume Agustí-Cullell and Francesc Esteva and Pere Garcia and Lluis Godo},
  year = {1990},
  tags = {logic},
  researchr = {https://researchr.org/publication/Agusti-CullellEGG90},
  cites = {0},
  citedby = {0},
  pages = {269-278},
  booktitle = {Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU  90, Paris, France, July 2-6, 1990, Proceedings},
  editor = {Bernadette Bouchon-Meunier and Ronald R. Yager and Lotfi A. Zadeh},
  volume = {521},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54346-5},
}
runs on