Atlas home || Conferences | Abstracts | about Atlas

Abstracts

This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the active list.

SAMSON ABRAMSKY Domain Theory in Logical Form Revisited: a 20-year Retrospective
Stefano Aguzzoli 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.
Abdelaziz Amroune On the fuzzy ordered sets
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, 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 Fernández Duque Non-deterministic semantics for dynamic topological logic
Roy Dyckhoff and Mehrnoosh Sadrzadeh Cut-free sequent calculi for algebras with adjoint modalities.
Wojciech Dzik Unification in some polymodal logics
Leo Esakia, 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 Gonçalves 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
Martinvaldo Konig Logics of Quantum Computation with Quantum Simulable Operators
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 Kühr 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
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 Modal Fixpoint Logics
Jacob Vosmaer Comparing the profinite completion and the MacNeille completion of a modal algebra
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

© 2008 Atlas Conferences Inc.