default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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 - Paolo 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
Volume 87, Numbers 2-3, December 2007
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
