Now showing items 1-2 of 2

    • Algebraic functions in quasiprimal algebras 

      Campercholi, Miguel; Vaggione, Diego (2014)
      A function is algebraic on an algebra A if it can be implicitly defined by a system of equations on A. In this note we give a semantic characterization for algebraic functions on quasiprimal algebras. This characterization ...
    • The lattice of congruences of a finite line frame 

      Areces, Carlos Eduardo; Campercholi, Miguel Alejandro Carlos; Penazzi, Daniel Eduardo; Sánchez Terraf, Pedro Octavio (2017)
      Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we ...