Belluce, L. Peter; Grigolia, Revaz; Lettieri, Ada Representations of monadic MV-algebras. (English) Zbl 1093.06008 Stud. Log. 81, No. 1, 123-144 (2005). MSC: 06D35 × Cite Format Result Cite Review PDF Full Text: DOI
Cintula, Petr Two notions of compactness in Gödel logics. (English) Zbl 1098.03031 Stud. Log. 81, No. 1, 99-123 (2005). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B22 × Cite Format Result Cite Review PDF Full Text: DOI
Kühnberger, Kai-Uwe; Löwe, Benedikt; Möllerfeld, Michael; Welch, Philip Comparing inductive and circular definitions: Parameters, complexity and games. (English) Zbl 1098.03041 Stud. Log. 81, No. 1, 79-98 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B99 03D70 91A80 03A05 03C13 03E60 × Cite Format Result Cite Review PDF Full Text: DOI
Sayed Ahmed, Tarek On amalgamation in algebras of logic. (English) Zbl 1102.03064 Stud. Log. 81, No. 1, 61-77 (2005). Reviewer: Roger Maddux (Ames) MSC: 03G15 × Cite Format Result Cite Review PDF Full Text: DOI
Bulińska, Maria The Pentus theorem for Lambek calculus with simple nonlogical axioms. (English) Zbl 1116.03017 Stud. Log. 81, No. 1, 43-59 (2005). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI
Verhoeven, Liza; Horsten, Leon On the exclusivity implicature of ‘or’ or on the meaning of eating strawberries. (English) Zbl 1087.03017 Stud. Log. 81, No. 1, 19-24 (2005). MSC: 03B60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Lambek, Joachim; Scott, Philip An exactification of the monoid of primitive recursive functions. (English) Zbl 1096.03048 Stud. Log. 81, No. 1, 1-18 (2005). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03D20 03G30 × Cite Format Result Cite Review PDF Full Text: DOI