论文信息 - On Extensions of Elementary Logic - 字舞流文

On Extensions of Elementary Logic

Per Lindström | Per Lindström

[1] A. Ehrenfeucht. An application of games to the completeness problem for formalized theories , 1961 .

[2] A. Mostowski. On a generalization of quantifiers , 1957 .

[3] William Craig,et al. Finite Axiomatizability using additional predicates , 1958, Journal of Symbolic Logic.

[4] Perlindström. First Order Predicate Logic with Generalized Quantifiers , 1966 .

[5] R. Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres , 1954 .