Humberstone, Lloyd On a conservative extension argument of Dana Scott. (English) Zbl 1216.03036 Log. J. IGPL 19, No. 1, 241-288 (2011). Reviewer: G. E. Mints (Stanford) MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{L. Humberstone}, Log. J. IGPL 19, No. 1, 241--288 (2011; Zbl 1216.03036) Full Text: DOI
Mikulás, Szabolcs On representable ordered residuated semigroups. (English) Zbl 1235.03088 Log. J. IGPL 19, No. 1, 233-240 (2011). Reviewer: Alessandra Palmigiano (Amsterdam) MSC: 03G25 03B47 03C05 06F05 PDFBibTeX XMLCite \textit{S. Mikulás}, Log. J. IGPL 19, No. 1, 233--240 (2011; Zbl 1235.03088) Full Text: DOI
Goranko, Valentin; Kellerman, Ruaan Classes and theories of trees associated with a class of linear orders. (English) Zbl 1232.03026 Log. J. IGPL 19, No. 1, 217-232 (2011). MSC: 03C65 05C05 PDFBibTeX XMLCite \textit{V. Goranko} and \textit{R. Kellerman}, Log. J. IGPL 19, No. 1, 217--232 (2011; Zbl 1232.03026) Full Text: DOI Link
Bou, Félix; Rivieccio, Umberto The logic of distributive bilattices. (English) Zbl 1214.03056 Log. J. IGPL 19, No. 1, 183-216 (2011). MSC: 03G27 03B50 03G10 06D75 68T27 PDFBibTeX XMLCite \textit{F. Bou} and \textit{U. Rivieccio}, Log. J. IGPL 19, No. 1, 183--216 (2011; Zbl 1214.03056) Full Text: DOI Link
Bridges, Douglas S. The anti-Specker property, uniform sequential continuity, and a countable compactness property. (English) Zbl 1229.03052 Log. J. IGPL 19, No. 1, 174-182 (2011). Reviewer: Josef Berger (Greifswald) MSC: 03F60 03F65 PDFBibTeX XMLCite \textit{D. S. Bridges}, Log. J. IGPL 19, No. 1, 174--182 (2011; Zbl 1229.03052) Full Text: DOI
Leloup, Gérard Existentially equivalent cyclic ultrametric spaces and cyclically valued groups. (English) Zbl 1216.03052 Log. J. IGPL 19, No. 1, 144-173 (2011). Reviewer: Jan Jakubík (Košice) MSC: 03C65 06F15 54E35 PDFBibTeX XMLCite \textit{G. Leloup}, Log. J. IGPL 19, No. 1, 144--173 (2011; Zbl 1216.03052) Full Text: DOI
Kamide, Norihiro Phase semantics for linear-time formalism. (English) Zbl 1216.03034 Log. J. IGPL 19, No. 1, 121-143 (2011). MSC: 03B44 03B47 03F05 PDFBibTeX XMLCite \textit{N. Kamide}, Log. J. IGPL 19, No. 1, 121--143 (2011; Zbl 1216.03034) Full Text: DOI
Alizadeh, Majid; Ledda, Antonio; Freytes, Hector Completion and amalgamation of bounded distributive quasi lattices. (English) Zbl 1221.06015 Log. J. IGPL 19, No. 1, 110-120 (2011). Reviewer: Ivan Chajda (Přerov) MSC: 06D75 06B20 PDFBibTeX XMLCite \textit{M. Alizadeh} et al., Log. J. IGPL 19, No. 1, 110--120 (2011; Zbl 1221.06015) Full Text: DOI Link
Sági, Gábor On nonrepresentable \(G\)-polyadic algebras with representable cylindric reducts. (English) Zbl 1216.03068 Log. J. IGPL 19, No. 1, 105-109 (2011). MSC: 03G15 PDFBibTeX XMLCite \textit{G. Sági}, Log. J. IGPL 19, No. 1, 105--109 (2011; Zbl 1216.03068) Full Text: DOI
Sayed Ahmed, Tarek Classes of algebras without the amalgamation property. (English) Zbl 1229.03057 Log. J. IGPL 19, No. 1, 87-104 (2011). Reviewer: Roger Maddux (Ames) MSC: 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, Log. J. IGPL 19, No. 1, 87--104 (2011; Zbl 1229.03057) Full Text: DOI
Gordeev, L.; Haeusler, E. H.; Pereira, L. C. Propositional proof compressions and DNF logic. (English) Zbl 1214.03044 Log. J. IGPL 19, No. 1, 62-86 (2011). MSC: 03F20 03B05 03F07 PDFBibTeX XMLCite \textit{L. Gordeev} et al., Log. J. IGPL 19, No. 1, 62--86 (2011; Zbl 1214.03044) Full Text: DOI
Bridges, Douglas Omniscience, sequential compactness, and the anti-Specker property. (English) Zbl 1229.03051 Log. J. IGPL 19, No. 1, 53-61 (2011). Reviewer: Josef Berger (Greifswald) MSC: 03F60 03F65 PDFBibTeX XMLCite \textit{D. Bridges}, Log. J. IGPL 19, No. 1, 53--61 (2011; Zbl 1229.03051) Full Text: DOI
Gyenis, Zalán On atomicity of free algebras in certain cylindric-like varieties. (English) Zbl 1216.03067 Log. J. IGPL 19, No. 1, 44-52 (2011). MSC: 03G15 PDFBibTeX XMLCite \textit{Z. Gyenis}, Log. J. IGPL 19, No. 1, 44--52 (2011; Zbl 1216.03067) Full Text: DOI Link
Ahmadi-Adl, Amin; Nowzari-Dalini, Abbas; Ahrabian, Hayedeh Ranking and unranking algorithms for loopless generation of \(t\)-ary trees. (English) Zbl 1206.68099 Log. J. IGPL 19, No. 1, 33-43 (2011). MSC: 68P05 68W05 PDFBibTeX XMLCite \textit{A. Ahmadi-Adl} et al., Log. J. IGPL 19, No. 1, 33--43 (2011; Zbl 1206.68099) Full Text: DOI
Robles, Gemma; Méndez, José M. A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. (English) Zbl 1218.03023 Log. J. IGPL 19, No. 1, 18-32 (2011). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 PDFBibTeX XMLCite \textit{G. Robles} and \textit{J. M. Méndez}, Log. J. IGPL 19, No. 1, 18--32 (2011; Zbl 1218.03023) Full Text: DOI
Goris, Evan; Joosten, Joost J. A new principle in the interpretability logic of all reasonable arithmetical theories. (English) Zbl 1228.03040 Log. J. IGPL 19, No. 1, 1-17 (2011). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F30 PDFBibTeX XMLCite \textit{E. Goris} and \textit{J. J. Joosten}, Log. J. IGPL 19, No. 1, 1--17 (2011; Zbl 1228.03040) Full Text: DOI arXiv