Lee, Jui-Lin The classical model existence theorem in subclassical predicate logics. I. (English) Zbl 1159.03007 Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 187-199 (2009). Reviewer: G. E. Mints (Stanford) MSC: 03B10 03B20 03B50 PDFBibTeX XMLCite \textit{J.-L. Lee}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 187--199 (2009; Zbl 1159.03007) Full Text: DOI
Caicedo, Xavier; Krynicki, Michał Quantifiers for reasoning with imperfect information and \(\Sigma_1^1\)-logic. (English) Zbl 0935.03048 Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 17-31 (1999). MSC: 03C75 03C80 91A80 91A05 PDFBibTeX XMLCite \textit{X. Caicedo} and \textit{M. Krynicki}, Contemp. Math. 235, 17--31 (1999; Zbl 0935.03048)
Szczerba, L. W. Classification of elementary sentences. (English) Zbl 0651.03024 Essays on philosophy and logic, Proc. 30th Conf. Hist. Logic, dedic. R. Suszko, Cracow/Pol. 1984, Varia 235, No. 1343, 137-142 (1987). Reviewer: R.A.Herrmann MSC: 03C07 03C10 PDFBibTeX XML
Kobayashi, K.; Takahashi, Masako; Yamasaki, H. Logical formulas and four subclasses of \(\omega\)-regular languages. (English) Zbl 0575.03029 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 81-88 (1985). MSC: 03D05 03B15 68Q45 03B10 PDFBibTeX XML
Fraïssé, R.; Bénéjam, J.-P. Sur le théorème de Herbrand-Gentzen. (French) Zbl 0166.25704 Prévisions, Calcul et Réalités, Les grands problèmes des sciences. No. 15, 35-42 (1965). Reviewer: T. Hosoi MSC: 03Cxx PDFBibTeX XML