Clouâtre, Raphaël; Davidson, Kenneth R. Duality, convexity and peak interpolation in the Drury-Arveson space. (English) Zbl 1422.47073 Adv. Math. 295, 90-149 (2016). Reviewer: Essé Julien Atto (Lomé) MSC: 47L30 47A13 46E22 PDF BibTeX XML Cite \textit{R. Clouâtre} and \textit{K. R. Davidson}, Adv. Math. 295, 90--149 (2016; Zbl 1422.47073) Full Text: DOI arXiv OpenURL
Morsi, Nehad N.; Lotfallah, W.; El-Zekey, M. S. The logic of tied implications. II. Syntax. (English) Zbl 1111.03033 Fuzzy Sets Syst. 157, No. 15, 2030-2057 (2006); corrigendum ibid. 157, No. 17, 2416-2417 (2006). MSC: 03B52 03B50 03G25 PDF BibTeX XML Cite \textit{N. N. Morsi} et al., Fuzzy Sets Syst. 157, No. 15, 2030--2057 (2006; Zbl 1111.03033) Full Text: DOI OpenURL
Cīrulis, Jānis Subtractive nearsemilattices. (English) Zbl 1027.06007 Proc. Latv. Acad. Sci., Sect. B, Nat. Exact Appl. Sci. 52, No. 5, 228-233 (1998). MSC: 06A12 08A55 PDF BibTeX XML Cite \textit{J. Cīrulis}, Proc. Latv. Acad. Sci., Sect. B, Nat. Exact Appl. Sci. 52, No. 5, 228--233 (1998; Zbl 1027.06007) OpenURL
Sandu, Gabriel The logic of informational independence and finite models. (English) Zbl 0882.03023 Log. J. IGPL 5, No. 1, 79-95 (1997). Reviewer: A.A.Mullin (Huntsville) MSC: 03B60 03C13 68Q25 03C80 03B80 68T27 94C10 PDF BibTeX XML Cite \textit{G. Sandu}, Log. J. IGPL 5, No. 1, 79--95 (1997; Zbl 0882.03023) Full Text: DOI OpenURL
Manca, V.; Salibra, A. First-order theories as many-sorted algebras. (English) Zbl 0543.03016 Notre Dame J. Formal Logic 25, 86-94 (1984). MSC: 03C05 03B10 03G25 03C07 PDF BibTeX XML Cite \textit{V. Manca} and \textit{A. Salibra}, Notre Dame J. Formal Logic 25, 86--94 (1984; Zbl 0543.03016) Full Text: DOI OpenURL
Lambek, J.; Moerdijk, I. Two sheaf representations of elementary toposes. (English) Zbl 0511.03028 The L.E.J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 275-295 (1982). MSC: 03G30 03C90 18B25 PDF BibTeX XML OpenURL
Cowles, John R. The Henkin quantifier and real closed fields. (English) Zbl 0505.03015 Z. Math. Logik Grundlagen Math. 27, 549-555 (1981). MSC: 03C80 03C60 PDF BibTeX XML Cite \textit{J. R. Cowles}, Z. Math. Logik Grundlagen Math. 27, 549--555 (1981; Zbl 0505.03015) Full Text: DOI OpenURL