Year:

Forthcoming articles
  1.  89
    J. Y. Beziau & Logica Universalis (forthcoming). c© 2005 Birkhäuser Verlag Basel/Switzerland. Logica Universalis:19.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2.  0
    D. M. Gabbay & O. Rodrigues (forthcoming). Equilibrium States in Numerical Argumentation Networks. Logica Universalis:1-63.
    Given an argumentation network with initial values to the arguments, we look for algorithms which can yield extensions compatible with such initial values. We find that the best way of tackling this problem is to offer an iteration formula that takes the initial values and the attack relation and iterates a sequence of intermediate values that eventually converges leading to an extension. The properties surrounding the application of the iteration formula and its connection with other numerical and non-numerical techniques proposed (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. L. I. Perlovsky (forthcoming). Logic Versus Mind. Logica Universalis.
     
    Export citation  
     
    My bibliography  
  4.  6
    Lawrence Valby (forthcoming). The Universal Theory of First Order Algebras and Various Reducts. Logica Universalis:1-26.
    First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies the axioms iff it embeds into a first order algebra. Importantly, our argument is modular and also works for, e.g., the positive existential algebras and the quantifier-free algebras. We also explain the relationship to theories, and indicate how to add in function symbols.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues