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},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{TACL2013:Strong_0_dimensionality_in_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},
  pages     = {1},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hn},
  doi       = {10.29007/5dmr}}

@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},
  pages     = {2--3},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ldc},
  doi       = {10.29007/hgbj}}

@inproceedings{TACL2013:Coproducts_of_Distributive_Lattice,
  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},
  pages     = {4},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gP},
  doi       = {10.29007/vx1v}}

@inproceedings{TACL2013:From_free_algebras_to,
  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},
  pages     = {5},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cDvQ},
  doi       = {10.29007/md5x}}

@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},
  pages     = {6--7},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/32},
  doi       = {10.29007/76p1}}

@inproceedings{TACL2013:Proof_theory_for_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},
  pages     = {8},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/BKGD},
  doi       = {10.29007/3szk}}

@inproceedings{TACL2013:Conditional_Independence_in_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},
  pages     = {9},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MVJd},
  doi       = {10.29007/tg3g}}

@inproceedings{TACL2013:Scheme_representation_for_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},
  pages     = {10--13},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dRJ},
  doi       = {10.29007/8l5l}}

@inproceedings{TACL2013:General_Topos_Semantics_for,
  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},
  pages     = {14--16},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dRg},
  doi       = {10.29007/nv5m}}

@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},
  pages     = {17--21},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3WdS},
  doi       = {10.29007/mtcs}}

@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},
  pages     = {22--26},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/jCdM},
  doi       = {10.29007/q7bq}}

@inproceedings{TACL2013:Topological_completeness_of_extensions,
  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},
  pages     = {27--30},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Xb},
  doi       = {10.29007/zh85}}

@inproceedings{TACL2013:Idempotent_generated_algebras_and,
  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},
  pages     = {31--34},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qP},
  doi       = {10.29007/dgb4}}

@inproceedings{TACL2013:An_elementary_proof_of,
  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},
  pages     = {35--38},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/QDx},
  doi       = {10.29007/s5h9}}

@inproceedings{TACL2013:finite_embeddability_property_for,
  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},
  pages     = {39--42},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cf7},
  doi       = {10.29007/vqt7}}

@inproceedings{TACL2013:Two_layer_modal_logics_from,
  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},
  pages     = {43--47},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/PL},
  doi       = {10.29007/jpxr}}

@inproceedings{TACL2013:Jankov_Formula_and_Ternary,
  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},
  pages     = {48--51},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/shN},
  doi       = {10.29007/8fkc}}

@inproceedings{TACL2013:Algorithmic_correspondence_for_intuitionistic,
  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},
  pages     = {52--56},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Hw},
  doi       = {10.29007/vpww}}

@inproceedings{TACL2013:Algorithmic_correspondence_for_intuitionistic,
  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},
  pages     = {57--60},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/86Gl},
  doi       = {10.29007/r68t}}

@inproceedings{TACL2013:Almost_structural_completeness_an,
  author    = {Wojciech Dzik and Micha\{\textbackslash{}l\} 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},
  pages     = {61--63},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1cpT},
  doi       = {10.29007/59qg}}

@inproceedings{TACL2013:Representation_of_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},
  pages     = {64--67},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/WbFv},
  doi       = {10.29007/7czc}}

@inproceedings{TACL2013:Spectral_like_duality_for_Distributive,
  author    = {Sergio A. Celani and Mar\textbackslash{}'ia Esteban and Ram\textbackslash{}'on 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},
  pages     = {68--71},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KRJ},
  doi       = {10.29007/2fsc}}

@inproceedings{TACL2013:Cuts_for_circular_proofs,
  author    = {J\textbackslash{}'er\textbackslash{}\textasciicircum{}ome 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},
  pages     = {72--75},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/fRJ},
  doi       = {10.29007/54ps}}

@inproceedings{TACL2013:Cayley_and_Holland_Theorems,
  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},
  pages     = {76--79},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/FJfj},
  doi       = {10.29007/gw6s}}

@inproceedings{TACL2013:Laterally_complete_and_projective,
  author    = {Jos\textbackslash{}'e Gil-F\textbackslash{}'erez 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},
  pages     = {80--81},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/c1h},
  doi       = {10.29007/mmts}}

@inproceedings{TACL2013:Syntactic_Characterization_of_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},
  pages     = {82--84},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wM8},
  doi       = {10.29007/1mcd}}

@inproceedings{TACL2013:Dynamic_sequent_calculus_for,
  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},
  pages     = {85--87},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3vX},
  doi       = {10.29007/mwpp}}

@inproceedings{TACL2013:Projectivity_and_unification_in,
  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},
  pages     = {88--91},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3j},
  doi       = {10.29007/x7hf}}

@inproceedings{TACL2013:Relational_groupoids_and_residuated,
  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},
  pages     = {92--95},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1Kr9},
  doi       = {10.29007/gsnw}}

@inproceedings{TACL2013:Complete_Calculus_of_Monotone,
  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},
  pages     = {96--100},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cNV},
  doi       = {10.29007/3n54}}

@inproceedings{TACL2013:Extensions_of_ordering_sets,
  author    = {Ji\textbackslash{}v\{r\}\textbackslash{}'i Janda and Zdenka Rie\textbackslash{}v\{c\}anov\textbackslash{}'a},
  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},
  pages     = {101--104},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/kSs5},
  doi       = {10.29007/lkdv}}

@inproceedings{TACL2013:Priestley_duality_for_modal,
  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},
  pages     = {105--108},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/7Z5K},
  doi       = {10.29007/p4ch}}

@inproceedings{TACL2013:Effect_algebras_witness_pairs,
  author    = {Gejza Jen\textbackslash{}v\{c\}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},
  pages     = {109--112},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/8hV},
  doi       = {10.29007/71gb}}

@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},
  pages     = {113--119},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/dxv},
  doi       = {10.29007/nptc}}

@inproceedings{TACL2013:Four_valued_modal_logic_Kripke,
  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},
  pages     = {120--124},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5bMt},
  doi       = {10.29007/12bb}}

@inproceedings{TACL2013:Relevant_logic_and_relation,
  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},
  pages     = {125--128},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/c83},
  doi       = {10.29007/8gj7}}

@inproceedings{TACL2013:MV_Algebraic_Moebius_Transform_on,
  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},
  pages     = {129--132},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cG51},
  doi       = {10.29007/xq5m}}

@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},
  pages     = {133--135},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/jS2},
  doi       = {10.29007/61zj}}

@inproceedings{TACL2013:Derivational_modal_logic_of,
  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},
  pages     = {136--139},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Q4r3},
  doi       = {10.29007/7gcx}}

@inproceedings{TACL2013:On_finite_distributive_lattices,
  author    = {Jan K\textbackslash{}"uhr 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},
  pages     = {140},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/s9K},
  doi       = {10.29007/81mc}}

@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},
  pages     = {141--144},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1S},
  doi       = {10.29007/dzwk}}

@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},
  pages     = {145--147},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mk2c},
  doi       = {10.29007/vz4n}}

@inproceedings{TACL2013:Spectra_of_finitely_presented,
  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},
  pages     = {148--152},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/G7B},
  doi       = {10.29007/7htj}}

@inproceedings{TACL2013:Spectra_of_finitely_presented,
  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},
  pages     = {153--157},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wF},
  doi       = {10.29007/bt3m}}

@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},
  pages     = {158--162},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/L2H5},
  doi       = {10.29007/pw5g}}

@inproceedings{TACL2013:On_modal_components_of,
  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},
  pages     = {163--166},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xcS},
  doi       = {10.29007/87kz}}

@inproceedings{TACL2013:Chang_Mundici_construction_of_an,
  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},
  pages     = {167--170},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gG},
  doi       = {10.29007/8hz9}}

@inproceedings{TACL2013:Variants_of_normality_and,
  author    = {Jorge Picado and Javier Guti\textbackslash{}'errez Garc\textbackslash{}'ia},
  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},
  pages     = {171--175},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4Wn},
  doi       = {10.29007/4lmb}}

@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},
  pages     = {176--178},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3C97},
  doi       = {10.29007/jbdq}}

@inproceedings{TACL2013:An_analogue_of_Bulls,
  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},
  pages     = {179--182},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3m5},
  doi       = {10.29007/bhm3}}

@inproceedings{TACL2013:Finite_Model_Property_for,
  author    = {Xavier Caicedo and George Metcalfe and Ricardo Rodriguez and Jonas Rogger},
  title     = {A Finite Model Property for G\textbackslash{}"odel 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},
  pages     = {183--186},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/wwb},
  doi       = {10.29007/vgh2}}

@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},
  pages     = {187--190},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/fm},
  doi       = {10.29007/39rd}}

@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},
  pages     = {191--194},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/tMb},
  doi       = {10.29007/7l98}}

@inproceedings{TACL2013:On_modal_logic_of,
  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},
  pages     = {195--198},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gVs},
  doi       = {10.29007/th3m}}

@inproceedings{TACL2013:Tensor_products_of_modal,
  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},
  pages     = {199--203},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nJH},
  doi       = {10.29007/mtw5}}

@inproceedings{TACL2013:On_constant_domains_principle,
  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},
  pages     = {204--207},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/RKb},
  doi       = {10.29007/b3z6}}

@inproceedings{TACL2013:Generalizing_concept_of_quantum,
  author    = {Radek \textbackslash{}v\{S\}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},
  pages     = {208--210},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/KQj4},
  doi       = {10.29007/n4kv}}

@inproceedings{TACL2013:On_fuzzification_of_topological,
  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},
  pages     = {211--212},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cK},
  doi       = {10.29007/68tw}}

@inproceedings{TACL2013:general_framework_for_geometric,
  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},
  pages     = {213--216},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/CcJ},
  doi       = {10.29007/3bk1}}

@inproceedings{TACL2013:Reducts_and_Modal_Operators,
  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},
  pages     = {217--220},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nK5},
  doi       = {10.29007/k7xf}}

@inproceedings{TACL2013:Dcpo_models_of_Tsub1_sub,
  author    = {Zhao Dongsheng and Xi Xiaoyong},
  title     = {Dcpo models of  T \textbackslash{}ensuremath\{ \ensuremath{< }  \} sub \textbackslash{}ensuremath\{ \ensuremath{> }  \} 1 \textbackslash{}ensuremath\{ \ensuremath{< }  \} /sub \textbackslash{}ensuremath\{ \ensuremath{> }  \}    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},
  pages     = {221--224},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/2J1},
  doi       = {10.29007/prcv}}