On Extensions of Elementary Logic
- 1 April 1969
- Vol. 35 (1) , 1-11
- https://doi.org/10.1111/j.1755-2567.1969.tb00356.x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- First Order Predicate Logic with Generalized QuantifiersTheoria, 1966
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960
- Finite Axiomatizability using additional predicatesThe Journal of Symbolic Logic, 1958
- On a generalization of quantifiersFundamenta Mathematicae, 1957
- Sur l'extension aux relations de quelques propriétés des ordresAnnales Scientifiques de lʼÉcole Normale Supérieure, 1954