Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.)3540734430, 9783540734437

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 – 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international – plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee’s invitation.

---

Table of contents :
Front Matter….Pages –
A Grammatical Representation of Visibly Pushdown Languages….Pages 1-11
Fully Lexicalized Pregroup Grammars….Pages 12-25
Bounded Lattice T-Norms as an Interval Category….Pages 26-37
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps….Pages 38-52
Continuation Semantics for Symmetric Categorial Grammar….Pages 53-71
Ehrenfeucht–Fraïssé Games on Linear Orders….Pages 72-82
Hybrid Logical Analyses of the Ambient Calculus….Pages 83-100
Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination….Pages 101-119
On Principal Types of BCK- λ -Terms….Pages 120-130
A Finite-State Functional Grammar Architecture….Pages 131-146
Pregroup Calculus as a Logic Functor….Pages 147-161
A Formal Calculus for Informal Equality with Binding….Pages 162-176
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm….Pages 177-188
An Introduction to Context Logic….Pages 189-202
Numerical Constraints for XML….Pages 203-217
Modules over Monads and Linearity….Pages 218-237
Hydra Games and Tree Ordinals….Pages 238-247
Spin Networks, Quantum Topology and Quantum Computation….Pages 248-263
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus….Pages 264-284
Computational Interpretations of Classical Linear Logic….Pages 285-296
Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures….Pages 297-306
Interval Valued QL-Implications….Pages 307-321
Behavioural Differential Equations and Coinduction for Binary Trees….Pages 322-336
A Sketch of a Dynamic Epistemic Semiring….Pages 337-350
A Modal Distributive Law (abstract)….Pages 351-351
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing….Pages 352-361
Back Matter….Pages –