TACL 2013: BibTeX Entries

Volume

@proceedings{TACL2013,
  title     = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2014}}

Papers

@inproceedings{TACL2013:Strong_0_dimensionality_Pointfree,
  author    = {Bernhard Banaschewski},
  title     = {Strong 0-dimensionality in Pointfree Topology},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hn},
  doi       = {10.29007/5dmr},
  pages     = {1},
  year      = {2014}}


@inproceedings{TACL2013:Canonical_formulas_via_locally,
  author    = {Nick Bezhanishvili},
  title     = {Canonical formulas via locally finite reducts and generalized dualities},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ldc},
  doi       = {10.29007/hgbj},
  pages     = {2-3},
  year      = {2014}}


@inproceedings{TACL2013:Coproducts_Distributive_Lattice_based,
  author    = {Leonardo Manuel Cabrer and Hilary Priestley},
  title     = {Coproducts of Distributive Lattice based Algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gP},
  doi       = {10.29007/vx1v},
  pages     = {4},
  year      = {2014}}


@inproceedings{TACL2013:From_free_algebras_proof,
  author    = {Silvio Ghilardi},
  title     = {From free algebras to proof bounds},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cDvQ},
  doi       = {10.29007/md5x},
  pages     = {5},
  year      = {2014}}


@inproceedings{TACL2013:Residuated_Lattices_Regular_Languages,
  author    = {Rostislav Horcik},
  title     = {Residuated Lattices, Regular Languages, and Burnside Problem},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/32},
  doi       = {10.29007/76p1},
  pages     = {6-7},
  year      = {2014}}


@inproceedings{TACL2013:Proof_theory_lattice_ordered,
  author    = {George Metcalfe},
  title     = {Proof theory for lattice-ordered groups},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/BKGD},
  doi       = {10.29007/3szk},
  pages     = {8},
  year      = {2014}}


@inproceedings{TACL2013:Conditional_Independence_Categories,
  author    = {Alex Simpson},
  title     = {Conditional Independence in Categories},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/MVJd},
  doi       = {10.29007/tg3g},
  pages     = {9},
  year      = {2014}}


@inproceedings{TACL2013:Scheme_representation_first_order,
  author    = {Steve Awodey and Spencer Breiner},
  title     = {Scheme representation for first-order logic},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dRJ},
  doi       = {10.29007/8l5l},
  pages     = {10-13},
  year      = {2014}}


@inproceedings{TACL2013:General_Topos_Semantics_Higher,
  author    = {Steve Awodey and Kohei Kishida and Hans-Christoph Kotzsch},
  title     = {General Topos Semantics for Higher-Order Modal Logic},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dRg},
  doi       = {10.29007/nv5m},
  pages     = {14-16},
  year      = {2014}}


@inproceedings{TACL2013:Truncated_Vector_Lattices,
  author    = {Richard Ball},
  title     = {Truncated Vector Lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3WdS},
  doi       = {10.29007/mtcs},
  pages     = {17-21},
  year      = {2014}}


@inproceedings{TACL2013:Funayamas_theorem_revisited,
  author    = {Guram Bezhanishvili and David Gabelaia and Mamuka Jibladze},
  title     = {Funayama's theorem revisited},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/jCdM},
  doi       = {10.29007/q7bq},
  pages     = {22-26},
  year      = {2014}}


@inproceedings{TACL2013:Topological_completeness_extensions_S4,
  author    = {Guram Bezhanishvili and David Gabelaia and Joel Lucero-Bryan},
  title     = {Topological completeness of extensions of S4},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Xb},
  doi       = {10.29007/zh85},
  pages     = {27-30},
  year      = {2014}}


@inproceedings{TACL2013:Idempotent_generated_algebras_Boolean,
  author    = {Guram Bezhanishvili and Vincenzo Marra and Patrick J. Morandi and Bruce Olberding},
  title     = {Idempotent generated algebras and Boolean powers of commutative rings},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qP},
  doi       = {10.29007/dgb4},
  pages     = {31-34},
  year      = {2014}}


@inproceedings{TACL2013:elementary_proof_completeness_Lukasiewicz,
  author    = {Michal Botur and Jan Paseka},
  title     = {An elementary proof of the completeness of the Lukasiewicz axioms},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/QDx},
  doi       = {10.29007/s5h9},
  pages     = {35-38},
  year      = {2014}}


@inproceedings{TACL2013:finite_embeddability_property_some,
  author    = {Riquelmi Cardona},
  title     = {The finite embeddability property for some noncommutative knotted extensions of FL},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cf7},
  doi       = {10.29007/vqt7},
  pages     = {39-42},
  year      = {2014}}


@inproceedings{TACL2013:Two_layer_modal_logics,
  author    = {Petr Cintula and Carles Noguera},
  title     = {Two-layer modal logics: from fuzzy logics to a general framework},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/PL},
  doi       = {10.29007/jpxr},
  pages     = {43-47},
  year      = {2014}}


@inproceedings{TACL2013:Jankov_Formula_Ternary_Deductive,
  author    = {Alex Citkin},
  title     = {Jankov Formula and Ternary Deductive Term},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/shN},
  doi       = {10.29007/8fkc},
  pages     = {48-51},
  year      = {2014}}


@inproceedings{TACL2013:Algorithmic_correspondence_intuitionistic_modal,
  author    = {Willem Conradie and Yves Fomatati and Alessandra Palmigiano and Sumit Sourabh},
  title     = {Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Hw},
  doi       = {10.29007/vpww},
  pages     = {52-56},
  year      = {2014}}


@inproceedings{TACL2013:Algorithmic_correspondence_intuitionistic_modal,
  author    = {Willem Conradie and Yves Fomatati and Alessandra Palmigiano and Sumit Sourabh},
  title     = {Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/86Gl},
  doi       = {10.29007/r68t},
  pages     = {57-60},
  year      = {2014}}


@inproceedings{TACL2013:Almost_structural_completeness;_algebraic,
  author    = {Wojciech Dzik and Michał Stronkowski},
  title     = {Almost structural completeness; an algebraic approach},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/1cpT},
  doi       = {10.29007/59qg},
  pages     = {61-63},
  year      = {2014}}


@inproceedings{TACL2013:Representation_Medial_Like_Algebras,
  author    = {Amir Ehsani},
  title     = {Representation of the Medial-Like Algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/WbFv},
  doi       = {10.29007/7czc},
  pages     = {64-67},
  year      = {2014}}


@inproceedings{TACL2013:Spectral_like_duality_Distributive,
  author    = {Sergio A. Celani and María Esteban and Ramón Jansana},
  title     = {Spectral-like duality for Distributive Hilbert Algebras with Infimum},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KRJ},
  doi       = {10.29007/2fsc},
  pages     = {68-71},
  year      = {2014}}


@inproceedings{TACL2013:Cuts_circular_proofs,
  author    = {Jérôme Fortier and Luigi Santocanale},
  title     = {Cuts for circular proofs},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/fRJ},
  doi       = {10.29007/54ps},
  pages     = {72-75},
  year      = {2014}}


@inproceedings{TACL2013:Cayley_Holland_Theorems_Residuated,
  author    = {Nikolaos Galatos and Rostislav Horcik},
  title     = {Cayley and Holland Theorems for Residuated Lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FJfj},
  doi       = {10.29007/gw6s},
  pages     = {76-79},
  year      = {2014}}


@inproceedings{TACL2013:Laterally_complete_projective_hulls,
  author    = {José Gil-Férez and Antonio Ledda and Constantine Tsinakis},
  title     = {Laterally complete and projective hulls of semilinear residuated lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/c1h},
  doi       = {10.29007/mmts},
  pages     = {80-81},
  year      = {2014}}


@inproceedings{TACL2013:Syntactic_Characterization_Gabbay_de,
  author    = {Jeroen Goudsmit},
  title     = {A Syntactic Characterization of the Gabbay-de Jongh Logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wM8},
  doi       = {10.29007/1mcd},
  pages     = {82-84},
  year      = {2014}}


@inproceedings{TACL2013:Dynamic_sequent_calculus_logic,
  author    = {Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano},
  title     = {Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3vX},
  doi       = {10.29007/mwpp},
  pages     = {85-87},
  year      = {2014}}


@inproceedings{TACL2013:Projectivity_unification_varieties_locally,
  author    = {Antonio Di Nola and Revaz Grigolia and Giacomo Lenzi},
  title     = {Projectivity and unification in the varieties of  locally finite monadic MV-algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3j},
  doi       = {10.29007/x7hf},
  pages     = {88-91},
  year      = {2014}}


@inproceedings{TACL2013:Relational_groupoids_residuated_lattices,
  author    = {Cosimo Guido},
  title     = {Relational groupoids and residuated lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/1Kr9},
  doi       = {10.29007/gsnw},
  pages     = {92-95},
  year      = {2014}}


@inproceedings{TACL2013:Complete_Calculus_Monotone_Antitone,
  author    = {Thomas Icard and Lawrence Moss},
  title     = {A Complete Calculus of Monotone and Antitone Higher-Order Functions},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cNV},
  doi       = {10.29007/3n54},
  pages     = {96-100},
  year      = {2014}}


@inproceedings{TACL2013:Extensions_ordering_sets_states,
  author    = {Jiří Janda and Zdenka Riečanová},
  title     = {Extensions of ordering sets of states from effect algebras onto their MacNeille completions},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/kSs5},
  doi       = {10.29007/lkdv},
  pages     = {101-104},
  year      = {2014}}


@inproceedings{TACL2013:Priestley_duality_(modal)_N4,
  author    = {Ramon Jansana and Umberto Rivieccio},
  title     = {Priestley duality for (modal) N4-lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7Z5K},
  doi       = {10.29007/p4ch},
  pages     = {105-108},
  year      = {2014}}


@inproceedings{TACL2013:Effect_algebras_witness_pairs,
  author    = {Gejza Jenča},
  title     = {Effect algebras, witness pairs and observables},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8hV},
  doi       = {10.29007/71gb},
  pages     = {109-112},
  year      = {2014}}


@inproceedings{TACL2013:Basic_Logic_SMT_solvers,
  author    = {Peter Jipsen},
  title     = {Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dxv},
  doi       = {10.29007/nptc},
  pages     = {113-119},
  year      = {2014}}


@inproceedings{TACL2013:Four_valued_modal_logic,
  author    = {Achim Jung and Umberto Rivieccio},
  title     = {Four-valued modal logic: Kripke semantics and duality},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/5bMt},
  doi       = {10.29007/12bb},
  pages     = {120-124},
  year      = {2014}}


@inproceedings{TACL2013:Relevant_logic_relation_algebras,
  author    = {Tomasz Kowalski},
  title     = {Relevant logic and relation algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/c83},
  doi       = {10.29007/8gj7},
  pages     = {125-128},
  year      = {2014}}


@inproceedings{TACL2013:MV_Algebraic_Moebius_Transform,
  author    = {Tomas Kroupa},
  title     = {MV-Algebraic Moebius Transform on the Vietoris Space},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cG51},
  doi       = {10.29007/xq5m},
  pages     = {129-132},
  year      = {2014}}


@inproceedings{TACL2013:Open_projections_do_not,
  author    = {David Kruml},
  title     = {Open projections do not form a right residuated lattice},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/jS2},
  doi       = {10.29007/61zj},
  pages     = {133-135},
  year      = {2014}}


@inproceedings{TACL2013:Derivational_modal_logic_real,
  author    = {Andrey Kudinov},
  title     = {Derivational modal logic of real line with difference modality},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Q4r3},
  doi       = {10.29007/7gcx},
  pages     = {136-139},
  year      = {2014}}


@inproceedings{TACL2013:(finite)_distributive_lattices_with,
  author    = {Jan Kühr and Michal Botur},
  title     = {On (finite) distributive lattices with antitone involutions},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/s9K},
  doi       = {10.29007/81mc},
  pages     = {140},
  year      = {2014}}


@inproceedings{TACL2013:Boolean_like_algebras,
  author    = {Antonio Ledda and Tomasz Kowalski and Francesco Paoli and Antonino Salibra},
  title     = {Boolean like algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/1S},
  doi       = {10.29007/dzwk},
  pages     = {141-144},
  year      = {2014}}


@inproceedings{TACL2013:Walkers_Cancellation_Theorem,
  author    = {Robert Lubarsky and Fred Richman},
  title     = {Walker's Cancellation Theorem},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mk2c},
  doi       = {10.29007/vz4n},
  pages     = {145-147},
  year      = {2014}}


@inproceedings{TACL2013:Spectra_finitely_presented_lattice,
  author    = {Vincenzo Marra and Daniel McNeill and Andrea Pedrini},
  title     = {Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/G7B},
  doi       = {10.29007/7htj},
  pages     = {148-152},
  year      = {2014}}


@inproceedings{TACL2013:Spectra_finitely_presented_lattice,
  author    = {Vincenzo Marra and Daniel Mcneill and Andrea Pedrini},
  title     = {Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wF},
  doi       = {10.29007/bt3m},
  pages     = {153-157},
  year      = {2014}}


@inproceedings{TACL2013:Fractal_Sets_as_Final,
  author    = {Larry Moss and Jayampathy Ratnayake and Robert Rose},
  title     = {Fractal Sets as  Final Coalgebras Obtained by Completing an Initial Algebra},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/L2H5},
  doi       = {10.29007/pw5g},
  pages     = {158-162},
  year      = {2014}}


@inproceedings{TACL2013:modal_components_S4_logics,
  author    = {Alexei Y Muravitsky},
  title     = {On modal components of the S4-logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xcS},
  doi       = {10.29007/87kz},
  pages     = {163-166},
  year      = {2014}}


@inproceedings{TACL2013:Chang_Mundici_construction_enveloping,
  author    = {Celestin Lele and Jean Bernard Nganou},
  title     = {Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gG},
  doi       = {10.29007/8hz9},
  pages     = {167-170},
  year      = {2014}}


@inproceedings{TACL2013:Variants_normality_their_duals,
  author    = {Jorge Picado and Javier Gutiérrez García},
  title     = {Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4Wn},
  doi       = {10.29007/4lmb},
  pages     = {171-175},
  year      = {2014}}


@inproceedings{TACL2013:Effect_algebras_with_state,
  author    = {Silvia Pulmannova},
  title     = {Effect algebras with state operator},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3C97},
  doi       = {10.29007/jbdq},
  pages     = {176-178},
  year      = {2014}}


@inproceedings{TACL2013:analogue_Bulls_theorem_Hybrid,
  author    = {Claudette Robinson and Willem Conradie},
  title     = {An analogue of Bull's theorem for Hybrid Logic},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3m5},
  doi       = {10.29007/bhm3},
  pages     = {179-182},
  year      = {2014}}


@inproceedings{TACL2013:Finite_Model_Property_Gödel,
  author    = {Xavier Caicedo and George Metcalfe and Ricardo Rodriguez and Jonas Rogger},
  title     = {A Finite Model Property for Gödel Modal Logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wwb},
  doi       = {10.29007/vgh2},
  pages     = {183-186},
  year      = {2014}}


@inproceedings{TACL2013:Entropic_Hopf_algebras,
  author    = {Anna Romanowska and Jonathan Smith},
  title     = {Entropic Hopf  algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/fm},
  doi       = {10.29007/39rd},
  pages     = {187-190},
  year      = {2014}}


@inproceedings{TACL2013:new_Glivenko_Theorem,
  author    = {Majid Alizadeh and Mohammad Ardeshir and Wim Ruitenburg},
  title     = {A new Glivenko Theorem},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/tMb},
  doi       = {10.29007/7l98},
  pages     = {191-194},
  year      = {2014}}


@inproceedings{TACL2013:modal_logic_iterated_Cantor,
  author    = {Denis I. Saveliev},
  title     = {On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gVs},
  doi       = {10.29007/th3m},
  pages     = {195-198},
  year      = {2014}}


@inproceedings{TACL2013:Tensor_products_modal_logics,
  author    = {Ilya Shapirovskiy and Valentin Shehtman},
  title     = {Tensor products of modal logics},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nJH},
  doi       = {10.29007/mtw5},
  pages     = {199-203},
  year      = {2014}}


@inproceedings{TACL2013:constant_domains_principle_its,
  author    = {Dmitry Skvortsov},
  title     = {On the constant domains principle and its weakened versions in the Kripke sheaf semantics },
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/RKb},
  doi       = {10.29007/b3z6},
  pages     = {204-207},
  year      = {2014}}


@inproceedings{TACL2013:Generalizing_concept_quantum_triads,
  author    = {Radek Šlesinger},
  title     = {Generalizing the concept of quantum triads},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/KQj4},
  doi       = {10.29007/n4kv},
  pages     = {208-210},
  year      = {2014}}


@inproceedings{TACL2013:fuzzification_topological_categories,
  author    = {Sergejs Solovjovs},
  title     = {On fuzzification of topological categories},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cK},
  doi       = {10.29007/68tw},
  pages     = {211-212},
  year      = {2014}}


@inproceedings{TACL2013:general_framework_geometric_dualities,
  author    = {Luca Spada},
  title     = {A general framework for geometric dualities for varieties of algebras},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/CcJ},
  doi       = {10.29007/3bk1},
  pages     = {213-216},
  year      = {2014}}


@inproceedings{TACL2013:Reducts_Modal_Operators_Residuated,
  author    = {William Young},
  title     = {Reducts and Modal Operators on Residuated Lattices},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nK5},
  doi       = {10.29007/k7xf},
  pages     = {217-220},
  year      = {2014}}


@inproceedings{TACL2013:Dcpo_models_T<sub>1</sub>_spaces,
  author    = {Zhao Dongsheng and Xi Xiaoyong},
  title     = {Dcpo models of  T<sub>1</sub>   spaces},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/2J1},
  doi       = {10.29007/prcv},
  pages     = {221-224},
  year      = {2014}}