Conference Presentations

Most of the speakers at TANCL'07 have provided files of their slides, to which links are provided below. In some cases these files have been corrected, amended or updated since the conference. Links to speakers' personal wepages, where these exist, have also been provided.

For files of talks given in the workshops, please go to the website for the satellite workshops.

• Samson Abramsky — Domain Theory in Logical Form Revisited: a 20-year Retrospective
• Stefano Aguzzoli and Brunella Gerla — Goedel algebras free over finite distributive lattices
• Majid Alizadeh — Algebraic analysis of Visser's formal propositional logic
• Clint van Alten — A Finite Model Construction for Residuated Structures
• Sergei Artemov and Elena Nogina — On topological semantics of Justification Logic
• Philippe Balbiani — Modal logics for region-based theories of space
• Nick Bezhanishvili — Profinite Heyting algebras
• Felix Bou — On many-valued modal logics over finite residuated lattices
• Tomasz Brengos — Covariety and quasi-covariety lattices
• Manuela Busaniche — Free MV_n-algebras
• Wojciech Buszkowski — Substructural Logics and Formal Linguistics: Back and Forth
• Leonardo Manuel Cabrer — Priestley spaces of free MV-algebras
• Jānis Cīrulis — Quantifiers on m-semilattices
• Lavinia Ciungu — On the Archimedean multiple-valued logic algebras
• Bob Coecke and Ross Duncan — A graphical calculus for quantum observables
• Janusz Czelakowski — Algebraic aspects of the back and forth method
• Luck Darniere — A dimension theory fo (dual) Heyting algebras
• David Fernandez Duque — Non-deterministic semantics for dynamic topological logic (file 2)
• Roy Dyckhoff and Mehrnoosh Sadrzadeh — Cut-free sequent calculi for algebras with adjoint modalities
• Wojciech Dzik — Unification in some polymodal logics
• Leo Esakia and David Gabelaia — Algebraic and topological models of Solovay's modal system
• Gaelle Fontaine — Bisimulations of descriptive models
• Nikolaos Galatos — Structural rules in FL: expressive power and cut elimination
• Mai Gehrke — Distributive lattice-structured ontologies
• Robert Goldblatt — Ordered Cover Systems for Residuated and Bilinear Logics
• Ricardo Goncalves — Behavioral algebraization
• Ewa Wanda Graczyńska — M-solid quasivarieties
• Revaz Grigolia — On Projective MV-algebras
• Radomir Halas — Varieties of lattice effect algebras
• Rostislav Horcik — Notes on Complexity of Monoidal T-norm Based Logic and its Extensions
• Cătălin Ioniţă — A Many-sorted Algebraic Approach to First Order Predicate Calculi for Non-Classical Logics
• Afrodita Iorgulescu — ag algebras - a new class of residuated lattices
• Mamuka Jibladze — Capturing Alexandroffness with an intuitionistic modality
• Peter Jipsen — The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Hitoshi Kihara — Algebraic Characterization of Craig Interpolation Properties for Substructural Logics
• Zofia Kostrzycka — On the existence of a continuum of logics in NEXT(KTB)
• Tomasz Kowalski — Quasi-p-morphisms and small varieties of KTB-algebras
• Tomas Kroupa — Games over Formulas in Lukasiewicz Logic
• Andrey Kudinov — On topological modal logic of real line with difference modality
• Alexander Kurz — Coalgebraic Semantics of Non-classical Logics
• Jan Kuhr — On the structure of linear pseudo-BCK-algebras
• Robert S. Lubarsky — Kripke vs. Topological Models: A Case Study
• M. Andrew Moshier — Generalizations of Topology with an Eye on Stone Duality
• Alexei Muravitsky — t-Representations Of Modal Logics
• Alessandra Palmigiano — Nabla algebras and Chu spaces
• Jan Paseka — Commutative chain basic algebras are MV-algebras
• Dimitri Pataraia — Interpretation of higher order propositional quantification in some linear orders
• Jean-Eric Pin — Automata, semigroups and duality
• Hilary Priestley — Canonical extensions in the setting of lattice-based algebras
• Silvia Pulmannova — Effect algebras and AF C*-algebras
• Jiří Rachůnek — Monadic GMV-algebras
• Kurt Ranalter — Semantical aspects of a logic for pragmatics
• Antonino Salibra — Boolean algebra and lambda calculus
• Dana Šalounová — Modal operators on bounded residuated l-monoids
• Giovanni Sambin — Completeness of temporal logic in a fully constructive metatheory
• Timofei Shatrov — Non-finite axiomatizability of the intermediate logic of chequered subsets of R^∞
• Daisuke Souma — Minimal subvarieties of involutive residuated lattices
• Luca Spada — Free contructions of mLP algebras
• Matthew Spinks — Constructive logic with strong negation is a substructural logic over FL_ew
• Bas Spitters — Observational integration theory
• Georg Struth — Modal Kleene Algebras: Foundations, Models, Automation
• Mircea Sularia — Topology and logic of decision problem solving (refs)
• Tomoyuki Suzuki — Relational semantics for distributive substructural logics
• Hiroki Takamura — Semisimplicity, EDPC and discriminator varieties of bounded commutative residuated lattices with S4-like modal operator
• Christopher Townsend — A categorical account of the localic closed subgroup theorem
• Yde Venema — [extended abstract of joint work with Luigi Santacanale] Modal Fixpoint Logics
• Jacob Vosmaer — Comparing the profinite completion and the MacNeille completion of a modal algebra
• Carol Walker and Elbert Walker — A Family of Finite De Morgan Algebras
• Frank Wolter — Modal Logics of Metrics and Topology
• Shunsuke Yatabe — On an arithmetic in a set theory within ukasiewicz logic