TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic61 articles•224 pages•Published: July 28, 2014 PapersPage 1  Pages 23  Page 4  Page 5  Pages 67  Page 8  Page 9  Pages 1013  Pages 1416  Pages 1721  Pages 2226  Pages 2730  Pages 3134  Pages 3538  Pages 3942  Pages 4347  Pages 4851  Pages 5256  Pages 5760  Pages 6163  Pages 6467  Pages 6871  Pages 7275  Pages 7679  Pages 8081  Pages 8284  Pages 8587  Pages 8891  Pages 9295  Pages 96100  Pages 101104  Pages 105108  Pages 109112  Pages 113119  Pages 120124  Pages 125128  Pages 129132  Pages 133135  Pages 136139  Page 140  Pages 141144  Pages 145147  Pages 148152  Pages 153157  Pages 158162  Pages 163166  Pages 167170  Pages 171175  Pages 176178  Pages 179182  Pages 183186  Pages 187190  Pages 191194  Pages 195198  Pages 199203  Pages 204207  Pages 208210  Pages 211212  Pages 213216  Pages 217220  Pages 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, Boolean power, Booleanlike algebra, 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, lattice with antitone involutions, Latticeordered Abelian group^{2}, 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 
