Ghilardi, Silvio; Meloni, Giancarlo Relational and partial variable sets and basic predicate logic. (English) Zbl 0860.03043 J. Symb. Log. 61, No. 3, 843-872 (1996). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G30 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Rosenthal, Kimmo I. A note on categories enriched in quantaloids and modal and temporal logic. (English) Zbl 0791.18007 Cah. Topologie Géom. Différ. Catég. 34, No. 4, 267-277 (1993). Reviewer: Hirokazu Nishimura (Ibaraki) MSC: 18C10 18D20 03B45 03G30 × Cite Format Result Cite Review PDF Full Text: Numdam EuDML