Horčík, Rostislav Solutions to some open problems on totally ordered monoids. (English) Zbl 1221.06018 J. Log. Comput. 20, No. 4, 977-983 (2010). Reviewer: Xie Xiang-Yun (Guangdong) MSC: 06F05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Raftery, J. G. A non-finitary sentential logic that is elementarily algebraizable. (English) Zbl 1204.03020 J. Log. Comput. 20, No. 4, 969-975 (2010). MSC: 03B22 03G27 × Cite Format Result Cite Review PDF Full Text: DOI
Moss, Lawrence S. Syllogistic logics with verbs. (English) Zbl 1207.03037 J. Log. Comput. 20, No. 4, 947-967 (2010). Reviewer: Osamu Sonobe (Follonica) MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Russo, Ciro Quantale modules and their operators, with applications. (English) Zbl 1202.06012 J. Log. Comput. 20, No. 4, 917-946 (2010). MSC: 06F07 18B99 68U10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Manzonetto, Giulio; Salibra, Antonino Applying universal algebra to lambda calculus. (English) Zbl 1216.03030 J. Log. Comput. 20, No. 4, 877-915 (2010). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 08A70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kihara, Hitoshi; Ono, Hiroakira Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. (English) Zbl 1207.03030 J. Log. Comput. 20, No. 4, 823-875 (2010). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Aguzzoli, Stefano; Marra, Vincenzo Finitely presented MV-algebras with finite automorphism group. (English) Zbl 1204.06006 J. Log. Comput. 20, No. 4, 811-822 (2010). Reviewer: Claudia Mureşan (Rîmnicu Vîlcea) MSC: 06D35 05C50 20B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Giuntini, Roberto; Paoli, Francesco; Ledda, Antonio Categorical equivalences for \(\sqrt{{}'}\) quasi-MV algebras. (English) Zbl 1220.06003 J. Log. Comput. 20, No. 4, 795-810 (2010). Reviewer: Brunella Gerla (Varese) MSC: 06D35 06F15 81P68 × Cite Format Result Cite Review PDF Full Text: DOI
Busaniche, Manuela; Cignoli, Roberto Constructive logic with strong negation as a substructural logic. (English) Zbl 1205.03040 J. Log. Comput. 20, No. 4, 761-793 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03B60 03B47 03G25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Metcalfe, George (ed.); Tsinakis, Constantine (ed.) Special issue: International conference on order, algebra, and logics, Nashville, TN, USA, June 12–16, 2007. (English) Zbl 1197.03004 J. Log. Comput. 20, No. 4, 759-983 (2010). MSC: 03-06 03Bxx 03Gxx 06Fxx 00B25 × Cite Format Result Cite Review PDF Full Text: Link