Abstract is missing.
- A Grammatical Representation of Visibly Pushdown LanguagesJoachim Baran, Howard Barringer. 1-11 [doi]
- Fully Lexicalized Pregroup GrammarsDenis Béchet, Annie Foret. 12-25 [doi]
- Bounded Lattice T-Norms as an Interval CategoryBenjamín C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos. 26-37 [doi]
- Towards Systematic Analysis of Theorem Provers Search Spaces: First StepsHicham Bensaid, Ricardo Caferra, Nicolas Peltier. 38-52 [doi]
- Continuation Semantics for Symmetric Categorial GrammarRaffaella Bernardi, Michael Moortgat. 53-71 [doi]
- Ehrenfeucht-Fraïssé Games on Linear OrdersRyan Bissell-Siders. 72-82 [doi]
- Hybrid Logical Analyses of the Ambient CalculusThomas Bolander, René Rydhof Hansen. 83-100 [doi]
- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal SubordinationAdrian Brasoveanu. 101-119 [doi]
- On Principal Types of BCK- ::::lambda:::: -TermsSabine Broda, Luís Damas. 120-130 [doi]
- A Finite-State Functional Grammar ArchitectureAlexander Ja. Dikovsky. 131-146 [doi]
- Pregroup Calculus as a Logic FunctorAnnie Foret. 147-161 [doi]
- A Formal Calculus for Informal Equality with BindingMurdoch Gabbay, Aad Mathijssen. 162-176 [doi]
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery AlgorithmAndré Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón. 177-188 [doi]
- An Introduction to Context LogicPhilippa Gardner, Uri Zarfaty. 189-202 [doi]
- Numerical Constraints for XMLSven Hartmann, Sebastian Link. 203-217 [doi]
- Modules over Monads and LinearityAndré Hirschowitz, Marco Maggesi. 218-237 [doi]
- Hydra Games and Tree OrdinalsAriya Isihara. 238-247 [doi]
- Spin Networks, Quantum Topology and Quantum ComputationLouis H. Kauffman, Samuel J. Lomonaco. 248-263 [doi]
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin CalculusMichael Moortgat. 264-284 [doi]
- Computational Interpretations of Classical Linear LogicPaulo Oliva. 285-296 [doi]
- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA NanostructuresJohn H. Reif, Thomas H. LaBean. 297-306 [doi]
- Interval Valued QL-ImplicationsRenata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín C. Bedregal, Regivan H. Nunes Santiago. 307-321 [doi]
- Behavioural Differential Equations and Coinduction for Binary TreesAlexandra Silva, Jan J. M. M. Rutten. 322-336 [doi]
- A Sketch of a Dynamic Epistemic SemiringKim Solin. 337-350 [doi]
- A Modal Distributive Law (abstract)Yde Venema. 351 [doi]
- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability TestingMarcos Villagra, Benjamín Barán. 352-361 [doi]