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}}