Studia Logica, Volume 87

Volume 87, Number 1, October 2007

Miklós Ferenczi:
Finitary Polyadic Algebras from Cylindric Algebras. 1-11
Bruno Teheux:
A Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System. 13-36
Dov M. Gabbay, Andrzej Szalas:
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. 37-50
T. S. Blyth, Jie Fang:
Congruence Coherent Symmetric Extended de Morgan Algebras. 51-63
Darrell P. Rowbottom:
The Insufficiency of the Dutch Book Argument. 65-71
P. Aglianò, Isabel M. A. Ferreirim, Franco Montagna:
Basic Hoops: an Algebraic Study of Continuous t -norms. 73-98
Roberto Giuntini, Antonio Ledda, Francesco Paoli:
Expanding Quasi-MV Algebras by a Quantum Operator. 99-128
Bartosz Wieckowski:
Book Reviews. 129-134
Jean Paul Van Bendegem:
Book Review. 135-138

Wojciech Buszkowski, Anne Preller:
Editorial Introduction. 139-144
Wojciech Buszkowski:
Type Logics and Pregroups. 145-169
Anne Preller:
Linear Processing with Pregroups. 171-197
Denis Béchet:
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition. 199-224
Denis Béchet, Annie Foret, Isabelle Tellier:
Learnability of Pregroup Grammars. 225-252
Claudia Casadio:
Applying Pregroups to Italian Statements and Questions. 253-268
Marie-Renée Fleury, Myriam Quatrini:
A Mixed lambda-calculus. 269-294
Nissim Francez, Michael Kaminski:
Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages. 295-321
Aleksandra Kislak-Malinowska:
On the Logic of beta -pregroups. 323-342
Joachim Lambek:
Should Pregroup Grammars be Adorned with Additional Operations? 343-358
Mark Jago:
Book Reviews. 359-362
Anders Søgaard:
Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic I. 363-367
Reinhard Kahle:
Freek Wiedijk (Ed.), The Seventeen Provers of the World. 369-374