Systems of logic whose truth-values form lattices

  title={Systems of logic whose truth-values form lattices},
  author={A. Rose},
  journal={Mathematische Annalen},
  • A. Rose
  • Published 1 December 1951
  • Mathematics
  • Mathematische Annalen
A Multistaged Hyperparallel Optimization of the Fuzzy-Logic Mechanistic Model of Molecular Regulation
The modeled, designed and implemented “multistaged-hyperparallel” optimization approach significantly shortened the time to model inference from about 485.6 hours (20.2 days) to approximately 9. Expand
A History of Truth-Values
  • J. Béziau
  • Computer Science, Philosophy
  • Logic: A History of its Central Concepts
  • 2012
This paper examines the origin of this strange way of speaking and the concept related to it, which seems that “truth-value” is exclusively used by logicians, philosophers of logic and analytic philosophers. Expand
Harmonious Many-Valued Propositional Logics and the Logic of Computer Networks
In this paper we reconsider the notion of an n-valued propositional logic. In many-valued logic, sometimes a distinction is made not only between designated and undesignated (not designated) truthExpand
Fuzzy types: a framework for handling uncertainty about types of objects
The framework provides a formal basis for development of order-sorted fuzzy logic systems and has properties similar to those of fuzzy set mismatching degree, which allow a unified treatment of fuzzy types and fuzzy sets in reasoning. Expand
Fuzzy types and their lattices
Fuzzy sets and fuzzy logic are essential approaches to uncertain and vague information representation and reasoning. This paper is focused on uncertainty about types of objects and reasoning with it.Expand
Lattice Fuzzy Logics
  • E. Edmonds
  • Mathematics, Computer Science
  • Int. J. Man Mach. Stud.
  • 1980
Some of the concepts are used to extend edge detection techniques in image processing from grey scale to colour images and Rose's logical operator for logics whose truth values form lattices are reviewed. Expand
Many Valued Logic
Throughout the orthodox mainsteam of the development of logic in the West, the prevailing view was that every proposition is either true or else false (although which of these is the case may wellExpand