Bělohlávek, Radim Concept lattices and order in fuzzy logic. (English) Zbl 1060.03040 Ann. Pure Appl. Logic 128, No. 1-3, 277-298 (2004). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 06A15 06D72 × Cite Format Result Cite Review PDF Full Text: DOI
Szwast, Wiesław; Tendera, Lidia The guarded fragment with transitive guards. (English) Zbl 1048.03010 Ann. Pure Appl. Logic 128, No. 1-3, 227-276 (2004). MSC: 03B25 03D15 68Q17 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Keisler, H. Jerome; Lotfallah, Wafik Boulos Shrinking games and local formulas. (English) Zbl 1055.03022 Ann. Pure Appl. Logic 128, No. 1-3, 215-225 (2004). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C13 × Cite Format Result Cite Review PDF Full Text: DOI
Jäger, Gerhard An intensional fixed point theory over first order arithmetic. (English) Zbl 1048.03047 Ann. Pure Appl. Logic 128, No. 1-3, 197-213 (2004). MSC: 03F30 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Ganguli, Suman; Nerode, Anil Effective completeness theorems for modal logic. (English) Zbl 1056.03008 Ann. Pure Appl. Logic 128, No. 1-3, 141-195 (2004). Reviewer: Marat M. Arslanov (Kazan) MSC: 03B45 03C57 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Di Nola, Antonio; Grigolia, Revaz On monadic MV-algebras. (English) Zbl 1052.06010 Ann. Pure Appl. Logic 128, No. 1-3, 125-139 (2004). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03G25 08B10 08B05 × Cite Format Result Cite Review PDF Full Text: DOI
Beklemishev, Lev D. Provability algebras and proof-theoretic ordinals. I. (English) Zbl 1048.03045 Ann. Pure Appl. Logic 128, No. 1-3, 103-123 (2004). MSC: 03F15 03F45 03G25 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Berenstein, Alexander; Buechler, Steven Simple stable homogeneous expansions of Hilbert spaces. (English) Zbl 1047.03025 Ann. Pure Appl. Logic 128, No. 1-3, 75-101 (2004). MSC: 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Feng, Q.; Jensen, R. Supercomplete extenders and type 1 mice. I. (English) Zbl 1059.03053 Ann. Pure Appl. Logic 128, No. 1-3, 1-73 (2004). Reviewer: Benedikt Löwe (Amsterdam) MSC: 03E45 03E55 × Cite Format Result Cite Review PDF Full Text: DOI