4 found
Sort by:
  1. E. H. Alves & A. M. Sette (1996). On the Equivalence Between Some Systems of Non-Classical Logic. Bulletin of the Section of Logic 25:68-72.
    No categories
     
    My bibliography  
     
    Export citation  
  2. E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
    In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Newton C. A. Da Costa & E. H. Alves (1977). A Semantical Analysis of the Calculi ${\Bf C}_n$. Notre Dame Journal of Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Newton C. A. Da Costa & E. H. Alves (1977). A Semantical Analysis of the Calculi C N. Notre Dame Journal Fo Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation