11 found
Order:
  1.  15
    NUL-Natural Deduction for Ultrafilter Logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
  2.  14
    A Finitary Relational Algebra for Classical First-Order Logic.Paulo As Veloso & Armando M. Haeberer - 1991 - Bulletin of the Section of Logic 20 (2):52-62.
  3. Aspectos de Uma Teoria Geral de Problemas.Paulo As Veloso - 1984 - Cadernos de História E Filosofia da Ciência 7:21-42.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. On Finite and Infinite Fork Algebras and Their Relational Reducts.Paulo As Veloso - 1996 - Logique Et Analyse 39 (154):35-50.
  5.  19
    Is Fork Set-Theoretical.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (1):20-30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  20
    Why Ultrafilters for Almost All.Paulo As Veloso - 1999 - Bulletin of the Section of Logic 28 (4):183-193.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  17
    On the Independence of the Axioms for Fork Algebras.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (4):197-209.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  16
    On Some Misconceptions About Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (1/2):1-12.
  9.  8
    On Eight Independent Equational Axiomatisations for Fork Algebras.Paulo As Veloso - 1998 - Bulletin of the Section of Logic 27 (3):117-129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  27
    Characterisations for Fork Algebras and Their Relational Reducts.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (3):144-155.
  11.  15
    On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.