4 found
Sort by:
  1. Sergiu Rudeanu & Dan A. Simovici (2006). On the Ranges of Algebraic Functions on Lattices. Studia Logica 84 (3):451 - 468.
    We study ranges of algebraic functions in lattices and in algebras, such as Łukasiewicz-Moisil algebras which are obtained by extending standard lattice signatures with unary operations.We characterize algebraic functions in such lattices having intervals as their ranges and we show that in Artinian or Noetherian lattices the requirement that every algebraic function has an interval as its range implies the distributivity of the lattice.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Sergiu Rudeanu (1993). On Łukasiewicz-Moisil Algebras of Fuzzy Sets. Studia Logica 52 (1):95 - 111.
    The set (X, J) of fuzzy subsetsf:XJ of a setX can be equipped with a structure of -valued ukasiewicz-Moisil algebra, where is the order type of the totally ordered setJ. Conversely, every ukasiewicz-Moisil algebra — and in particular every Post algebra — is isomorphic to a subalgebra of an algebra of the form (X, J), whereJ has an order type . The first result of this paper is a characterization of those -valued ukasiewicz-Moisil algebras which are isomorphic to an algebra (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Frank Markham Brown & Sergiu Rudeanu (1981). Consequences, Consistency, and Independence in Boolean Algebras. Notre Dame Journal of Formal Logic 22 (1):45-62.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Sergiu Rudeanu (1967). Axiomatization of Certain Problems of Minimization. Studia Logica 20 (1):37 - 61.
    In Part I of this paper, an abstract analogue of the minimization problem for Boolean functions and of the notion of prime implicant is defined, so that this general problem can be solved in the same steps as in the classical case: 1) determination of the prime implicants; 2) determination of all the solutions made up of prime implicants. In Part II it is shown that the classical minimization problem, as well as certain set-theoretical and graphtheoretical problems are particular cases (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation