5 found
Sort by:
  1. Alan Adamson (1983). A Note on Two-Cardinal Models. Mathematical Logic Quarterly 29 (4):193-196.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Alan Adamson (1980). Saturated Structures, Unions of Chains, and Preservation Theorems. Annals of Mathematical Logic 19 (1-2):67-96.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Alan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł∞. Studia Logica 38 (1):49-73.
    A formal system for , based on a game-theoretic analysis of the ukasiewicz prepositional connectives, is defined and proved to be complete. An Herbrand theorem for the predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Alan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł ${}_{\Infty}$. Studia Logica 38 (1):49 - 73.
    A formal system for Ł ${}_{\infty}$ , based on a "game-theoretic" analysis of the Łukasiewicz propositional connectives, is defined and proved to be complete. An "Herbrand theorem" for the Ł ${}_{\infty}$ predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Alan Adamson (1978). Admissible Sets and the Saturation of Structures. Annals of Mathematical Logic 14 (2):111-157.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation