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