TACL 2013: Volume InformationTACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic61 articles•224 pages•Published: July 28, 2014 PapersBernhard Banaschewski 1  Nick Bezhanishvili 23  Leonardo Manuel Cabrer and Hilary Priestley 4  Silvio Ghilardi 5  Rostislav Horcik 67  George Metcalfe 8  Alex Simpson 9  Steve Awodey and Spencer Breiner 1013  Steve Awodey, Kohei Kishida and HansChristoph Kotzsch 1416  Richard Ball 1721  Guram Bezhanishvili, David Gabelaia and Mamuka Jibladze 2226  Guram Bezhanishvili, David Gabelaia and Joel LuceroBryan 2730  Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi and Bruce Olberding 3134  Michal Botur and Jan Paseka 3538  Riquelmi Cardona 3942  Petr Cintula and Carles Noguera 4347  Alex Citkin 4851  Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh 5256  Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh 5760  Wojciech Dzik and Michał Stronkowski 6163  Amir Ehsani 6467  Sergio A. Celani, María Esteban and Ramón Jansana 6871  Jérôme Fortier and Luigi Santocanale 7275  Nikolaos Galatos and Rostislav Horcik 7679  José GilFérez, Antonio Ledda and Constantine Tsinakis 8081  Jeroen Goudsmit 8284  Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano 8587  Antonio Di Nola, Revaz Grigolia and Giacomo Lenzi 8891  Cosimo Guido 9295  Thomas Icard and Lawrence Moss 96100  Jiří Janda and Zdenka Riečanová 101104  Ramon Jansana and Umberto Rivieccio 105108  Gejza Jenča 109112  Peter Jipsen 113119  Achim Jung and Umberto Rivieccio 120124  Tomasz Kowalski 125128  Tomas Kroupa 129132  David Kruml 133135  Andrey Kudinov 136139  Jan Kühr and Michal Botur 140  Antonio Ledda, Tomasz Kowalski, Francesco Paoli and Antonino Salibra 141144  Robert Lubarsky and Fred Richman 145147  Vincenzo Marra, Daniel McNeill and Andrea Pedrini 148152  Vincenzo Marra, Daniel Mcneill and Andrea Pedrini 153157  Larry Moss, Jayampathy Ratnayake and Robert Rose 158162  Alexei Y Muravitsky 163166  Celestin Lele and Jean Bernard Nganou 167170  Jorge Picado and Javier Gutiérrez García 171175  Silvia Pulmannova 176178  Claudette Robinson and Willem Conradie 179182  Xavier Caicedo, George Metcalfe, Ricardo Rodriguez and Jonas Rogger 183186  Anna Romanowska and Jonathan Smith 187190  Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg 191194  Denis I. Saveliev 195198  Ilya Shapirovskiy and Valentin Shehtman 199203  Dmitry Skvortsov 204207  Radek Šlesinger 208210  Sergejs Solovjovs 211212  Luca Spada 213216  William Young 217220  Zhao Dongsheng and Xi Xiaoyong 221224 
KeyphrasesAbelian groups, admissible rules, algebraic geometry, algebraic logic, algorithmic correspondence, Almost structural completeness, archimedean latticeordered group, basic logic, Belnap logic, bimodule, BLalgebra, Boolean algebra, Booleanlike algebra, Boolean power, Bull theorem, Burnside problem, C*algebra^{2}, Canonical Formula, Cantor derivative, Categorical adjunction, categorical logic, Categorical methods in logic, categorical proof theory, categoricallyalgebraic topology, category theory, Cayley, closed maps, coalgebra, Comedial algebra, Coparamedial algebra, coalgebra, commutative monoid, compact Hausdorff space^{2}, completely separated sublocales, conditional expectation, constant domains principle, Constructivism, continuous extension, Continuous poset, continuous real function, continuous realvalued function, conucleus, convex effect algebra, correspondence theory, countable model property, dcpo, De Morgan monoids, decision procedure, derivatinal operator, derivational modal logic, Di Nolas representation Theorem, diagram category, difference modality, discriminator variety, doublepointed variety, effect algebra^{4}, Entropic Algebra, equationally definable principal relative congruences, Esakia duality, Extendedorder algebras, extremally disconnected frame, Farkas' Lemma, final coalgebra, finite axiomatization, finite embeddability property^{2}, finite model property^{4}, finitely presented algebra, firstorder logic, fixpoints, fmp, fractal set, frame and locale, free Boolean extensions and MacNeille completions, functor semantics, Fuzzy Logic, Fuzzy Logics, Gabbayde Jongh logics, Galois adjunction, GBLalgebras, generalized Myhill theorem, Glivenko Theorem, GMValgebras, good sequence, Gödel logic, Heyting algebras, HigherOrder Modal Logic, Hilbert Algebras, Hilbert Nullstellensatz, Hilbert space effectrepresentation, Holland, Hopf algebra, hybrid logic, idempotent semimodule, idempotent semiring, Implicative algebras, Inductive and Coinductive Types, initial algebra, initial and final (co)algebras, intermediate logic, intermediate logics, intuitionistic logic^{2}, Jankov characteristic formula, join and meet infinite distributive laws, JónssonTarski algebra, JónssonTarski duality, Katetov relation, Kripke model, Kripke sheaf semantics, lgroup, Lateral Completions, lattice homomorphism., lattice of intermediate logics, lattice of the normal extensions of the modal logic S4, lattice of varieties, Latticeordered Abelian group^{2}, lattice with antitone involutions, locale, logical invariance, Lukasiewicz logic^{2}, MacNeille completion, manyvalued modal logic, Medial algebra, metric space, modal logic^{3}, modal logics, modal mucalculus^{2}, modal product, module, Moebius transform, Monadic algebra, monoid, monotone and antitone functions, monotonicity calculus, MValgebra^{8}, MVeffect algebra^{2}, N4lattices^{2}, nonclassical logics, noncommutative topology, Noncommutative residuated lattices, normal continuous real function, normal frame, nuclei and Booleanization, nucleus, ogroup, observable, open projection, ordered algebraic structures, ordered vector space, orthomodular lattice, paraconsistent Nelson logic^{2}, Paramedial algebra, partially residuated lattice, pointset latticetheoretic topology, pointfree topology, poset model of topological space, positive linear operators in Hilbert space, powerset theory, Priestley duality, projectable completion, Projectivealgebra, Proofs and Types, quantum double, quasivarieties, reduct, refutation systems, regular algebra, regular continuous real function, Regular element, regular language, relation algebras, Relational Systems, Relevant logics, representation, residuated lattice^{3}, residuated lattices^{2}, right residuated lattice, Sahlqvist correspondence, Sahlvist theory, scattered spaces, semicontinuous real function, semilattice, Semilattices, sober space, Specker algebra, Spectral space^{2}, state, Stone dualities, Stone duality^{2}, Stonetype dualities^{2}, strong order unit^{2}, strongly projectable completion, sublocale lattice, substructural logics, superintuitionistic predicate logics, tensor products of modal logics, topological category, topological coaxiom, topological duality, topological semantics, topological sematics, topological theory, topostheoretic semantics, tower extension of topological categories, triad, twiststructures^{2}, twolevel syntax, typed lambda calculus, ultraproduct, universal algebra, universal topology, variety with ternary deductive term, vector lattice^{2}, Visser logic, Well partially ordered sets, witness map, zero continuous real function. 
