6 found
Sort by:
  1. J. B. Nation (2013). Lattices of Theories in Languages Without Equality. Notre Dame Journal of Formal Logic 54 (2):167-175.
    If $\mathbf{S}$ is a semilattice with operators, then there is an implicational theory $\mathscr{Q}$ such that the congruence lattice $\operatorname{Con}(\mathbf{S})$ is isomorphic to the lattice of all implicational theories containing $\mathscr{Q}$.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. K. Adaricheva, R. Mckenzie, E. R. Zenk, M. Mar´ti & J. B. Nation (2006). The Jónsson-Kiefer Property. Studia Logica 83 (1-3):111 - 131.
    The least element 0 of a finite meet semi-distributive lattice is a meet of meet-prime elements. We investigate conditions under which the least element of an algebraic, meet semi-distributive lattice is a (complete) meet of meet-prime elements. For example, this is true if the lattice has only countably many compact elements, or if |L| < 2ℵ0, or if L is in the variety generated by a finite meet semi-distributive lattice. We give an example of an algebraic, meet semi-distributive lattice that (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. J. B. Nation (ed.) (2003). Formal Descriptions of Developing Systems. Kluwer Academic Publishers.
    A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing components, structures and functionalities, and the problem of emergence. Several papers deal with the modelling of particular experimental situations in population biology, economics and plant and muscle developments in addition to purely theoretical approaches. Novel approaches include differential inclusions and viability theory, growth tensors, archetypal dynamics, ensembles with variable structures, and (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. J. B. Nation (2003). Formal Descriptions of Developing Systems: An Overview. In , Formal Descriptions of Developing Systems. Kluwer Academic Publishers. 1--7.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Ralph Freese, George F. McNulty & J. B. Nation (2002). Inherently Nonfinitely Based Lattices. Annals of Pure and Applied Logic 115 (1-3):175-193.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation