Logic, Language, Information and Computation

A Grammatical Representation of Visibly Pushdown Languages.- Fully Lexicalized Pregroup Grammars.- Bounded Lattice T-Norms as an Interval Category.- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.- Continuation Semantics for Symmetric Categorial Grammar.- Ehrenfeucht–Fraïssé Games on Linear Orders.- Hybrid Logical Analyses of the Ambient Calculus.- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.- On Principal Types of BCK-?-Terms.- A Finite-State Functional Grammar Architecture.- Pregroup Calculus as a Logic Functor.- A Formal Calculus for Informal Equality with Binding.- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.- An Introduction to Context Logic.- Numerical Constraints for XML.- Modules over Monads and Linearity.- Hydra Games and Tree Ordinals.- Spin Networks, Quantum Topology and Quantum Computation.- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.- Computational Interpretations of Classical Linear Logic.- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.- Interval Valued QL-Implications.- Behavioural Differential Equations and Coinduction for Binary Trees.- A Sketch of a Dynamic Epistemic Semiring.- A Modal Distributive Law (abstract).- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.