TACL 2013: Volume Information

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

Papers

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-like algebra, Boolean power, Bull theorem, Burnside problem, C*-algebra², 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 space², 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 algebra⁴, Entropic Algebra, equationally definable principal relative congruences, Esakia duality, Extended-order algebras, extremally disconnected frame, Farkas' Lemma, final coalgebra, finite axiomatization, finite embeddability property², finite model property⁴, 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 logic², 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-ordered Abelian group², lattice with antitone involutions, locale, logical invariance, Lukasiewicz logic², MacNeille completion, many-valued modal logic, Medial algebra, metric space, modal logic³, modal logics, modal mu-calculus², modal product, module, Moebius transform, Monadic algebra, monoid, monotone and antitone functions, monotonicity calculus, MV-algebra⁸, MV-effect algebra², N4-lattices², 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 logic², 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 lattice³, residuated lattices², right residuated lattice, Sahlqvist correspondence, Sahlvist theory, scattered spaces, semicontinuous real function, semilattice, Semilattices, sober space, Specker algebra, Spectral space², state, Stone dualities, Stone duality², Stone-type dualities², strong order unit², 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-structures², two-level syntax, typed lambda calculus, ultraproduct, universal algebra, universal topology, variety with ternary deductive term, vector lattice², Visser logic, Well partially ordered sets, witness map, zero continuous real function.