TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

61 articles224 pagesPublished: July 28, 2014

Papers

Page 1
Pages 2-3
Page 4
Page 5
Pages 6-7
Page 8
Page 9
Pages 10-13
Pages 14-16
Pages 17-21
Pages 22-26
Pages 27-30
Pages 31-34
Pages 35-38
Pages 39-42
Pages 43-47
Pages 48-51
Pages 52-56
Pages 57-60
Pages 61-63
Pages 64-67
Pages 68-71
Pages 72-75
Pages 76-79
Pages 80-81
Pages 82-84
Pages 85-87
Pages 88-91
Pages 92-95
Pages 96-100
Pages 101-104
Pages 105-108
Pages 109-112
Pages 113-119
Pages 120-124
Pages 125-128
Pages 129-132
Pages 133-135
Pages 136-139
Page 140
Pages 141-144
Pages 145-147
Pages 148-152
Pages 153-157
Pages 158-162
Pages 163-166
Pages 167-170
Pages 171-175
Pages 176-178
Pages 179-182
Pages 183-186
Pages 187-190
Pages 191-194
Pages 195-198
Pages 199-203
Pages 204-207
Pages 208-210
Pages 211-212
Pages 213-216
Pages 217-220
Pages 221-224

Keyphrases

Abelian groups, admissible rules, algebraic geometry, algebraic logic, algorithmic correspondence, Almost structural completeness, archimedean lattice-ordered group, basic logic, Belnap logic, bimodule, BL-algebra, Boolean algebra, Boolean power, Boolean-like algebra, Bull theorem, Burnside problem, C*-algebra2, Canonical Formula, Cantor derivative, Categorical adjunction, categorical logic, Categorical methods in logic, categorical proof theory, categorically-algebraic topology, category theory, Cayley, closed maps, co-algebra, Co-medial algebra, Co-paramedial algebra, coalgebra, commutative monoid, compact Hausdorff space2, completely separated sublocales, conditional expectation, constant domains principle, Constructivism, continuous extension, Continuous poset, continuous real function, continuous real-valued 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, double-pointed variety, effect algebra4, Entropic Algebra, equationally definable principal relative congruences, Esakia duality, Extended-order algebras, extremally disconnected frame, Farkas' Lemma, final coalgebra, finite axiomatization, finite embeddability property2, finite model property4, finitely presented algebra, first-order logic, fixpoints, fmp, fractal set, frame and locale, free Boolean extensions and MacNeille completions, functor semantics, Fuzzy Logic, Fuzzy Logics, Gabbay-de Jongh logics, Galois adjunction, GBL-algebras, generalized Myhill theorem, Glivenko Theorem, GMV-algebras, good sequence, Gödel logic, Heyting algebras, Higher-Order Modal Logic, Hilbert Algebras, Hilbert Nullstellensatz, Hilbert space effect-representation, 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 logic2, Jankov characteristic formula, join and meet infinite distributive laws, Jónsson-Tarski algebra, Jónsson-Tarski duality, Katetov relation, Kripke model, Kripke sheaf semantics, l-group, 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, Lattice-ordered Abelian group2, locale, logical invariance, Lukasiewicz logic2, MacNeille completion, many-valued modal logic, Medial algebra, metric space, modal logic3, modal logics, modal mu-calculus2, modal product, module, Moebius transform, Monadic algebra, monoid, monotone and antitone functions, monotonicity calculus, MV-algebra8, MV-effect algebra2, N4-lattices2, non-classical logics, non-commutative topology, Noncommutative residuated lattices, normal continuous real function, normal frame, nuclei and Booleanization, nucleus, o-group, observable, open projection, ordered algebraic structures, ordered vector space, orthomodular lattice, paraconsistent Nelson logic2, Paramedial algebra, partially residuated lattice, point-set lattice-theoretic 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 lattice3, residuated lattices2, right residuated lattice, Sahlqvist correspondence, Sahlvist theory, scattered spaces, semicontinuous real function, semilattice, Semilattices, sober space, Specker algebra, Spectral space2, state, Stone dualities, Stone duality2, Stone-type dualities2, strong order unit2, strongly projectable completion, sublocale lattice, substructural logics, superintuitionistic predicate logics, tensor products of modal logics, topological category, topological co-axiom, topological duality, topological semantics, topological sematics, topological theory, topos-theoretic semantics, tower extension of topological categories, triad, twist-structures2, two-level syntax, typed lambda calculus, ultraproduct, universal algebra, universal topology, variety with ternary deductive term, vector lattice2, Visser logic, Well partially ordered sets, witness map, zero continuous real function