Switch to: Citations

References in:

On Extensions of Elementary Logic

Theoria 35 (1):1-11 (1969)

Add references

You must login to add references.
  1. On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
    Direct download  
     
    Export citation  
     
    Bookmark   167 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Direct download  
     
    Export citation  
     
    Bookmark   176 citations  
  • Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • An Application of Games to the Completeness Problem for Formalized Theories.A. Ehrenfeucht - 1967 - Journal of Symbolic Logic 32 (2):281-282.
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  • Review: B. A. Trahtenbrot, On Recursive Separability. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (1):60-60.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation