Order:
  1.  15
    Admissible Sets and the Saturation of Structures.Alan Adamson - 1978 - Annals of Mathematical Logic 14 (2):111-157.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  22
    A Game-Based Formal System for Ł∞.Alan Adamson & Robin Giles - 1979 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  2
    Saturated Structures, Unions of Chains, and Preservation Theorems.Alan Adamson - 1980 - Annals of Mathematical Logic 19 (1-2):67-96.
  4.  4
    A Note on Two-Cardinal Models.Alan Adamson - 1983 - Mathematical Logic Quarterly 29 (4):193-196.
  5.  2
    A Game-Based Formal System for Ł ${}_{\Infty}$.Alan Adamson & Robin Giles - 1979 - 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)  
     
    Export citation  
     
    My bibliography