Volume 87, Number 1, October 2007
: A Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System.
Dov M. Gabbay
, Andrzej Szalas
: Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.
Volume 87, Numbers 2-3, December 2007
: Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.
: Applying Pregroups to Italian Statements and Questions.
: Should Pregroup Grammars be Adorned with Additional Operations?
: Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev (eds.), Mathematical Problems from Applied Logic I.
: Freek Wiedijk (Ed.), The Seventeen Provers of the World.