EasyChair Publications
TACL 2013 Volume Information
Volume:Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors)
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

TACL 2013 Volume Information

Title:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Editors:Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis
Series:EPiC Series in Computing
Publication date:July 28, 2014


Bernhard BanaschewskiStrong 0-dimensionality in Pointfree Topology1
Nick BezhanishviliCanonical formulas via locally finite reducts and generalized dualities2-3
Leonardo Manuel Cabrer and Hilary PriestleyCoproducts of Distributive Lattice based Algebras4
Silvio GhilardiFrom free algebras to proof bounds5
Rostislav HorcikResiduated Lattices, Regular Languages, and Burnside Problem6-7
George MetcalfeProof theory for lattice-ordered groups8
Alex SimpsonConditional Independence in Categories9
Steve Awodey and Spencer BreinerScheme representation for first-order logic10-13
Steve Awodey, Kohei Kishida and Hans-Christoph KotzschGeneral Topos Semantics for Higher-Order Modal Logic14-16
Richard BallTruncated Vector Lattices17-21
Guram Bezhanishvili, David Gabelaia and Mamuka JibladzeFunayama's theorem revisited22-26
Guram Bezhanishvili, David Gabelaia and Joel Lucero-BryanTopological completeness of extensions of S427-30
Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi and Bruce OlberdingIdempotent generated algebras and Boolean powers of commutative rings31-34
Michal Botur and Jan PasekaAn elementary proof of the completeness of the Lukasiewicz axioms35-38
Riquelmi CardonaThe finite embeddability property for some noncommutative knotted extensions of FL39-42
Petr Cintula and Carles NogueraTwo-layer modal logics: from fuzzy logics to a general framework43-47
Alex CitkinJankov Formula and Ternary Deductive Term48-51
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit SourabhAlgorithmic correspondence for intuitionistic modal mu-calculus, Part 152-56
Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit SourabhAlgorithmic correspondence for intuitionistic modal mu-calculus, Part 257-60
Wojciech Dzik and Michal StronkowskiAlmost structural completeness; an algebraic approach61-63
Amir EhsaniRepresentation of the Medial-Like Algebras64-67
Sergio Arturo Celani, María Esteban and Ramon JansanaSpectral-like duality for Distributive Hilbert Algebras with Infimum68-71
Jérôme Fortier and Luigi SantocanaleCuts for circular proofs72-75
Nikolaos Galatos and Rostislav HorcikCayley and Holland Theorems for Residuated Lattices76-79
José Gil-Férez, Antonio Ledda and Constantine TsinakisLaterally complete and projective hulls of semilinear residuated lattices80-81
Jeroen GoudsmitA Syntactic Characterization of the Gabbay-de Jongh Logics82-84
Giuseppe Greco, Alexander Kurz and Alessandra PalmigianoDynamic sequent calculus for the logic of Epistemic Actions and Knowledge85-87
Antonio Di Nola, Revaz Grigolia and Giacomo LenziProjectivity and unification in the varieties of locally finite monadic MV-algebras88-91
Cosimo GuidoRelational groupoids and residuated lattices92-95
Thomas Icard and Larry MossA Complete Calculus of Monotone and Antitone Higher-Order Functions96-100
Jiří Janda and Zdenka RiecanovaExtensions of ordering sets of states from effect algebras onto their MacNeille completions101-104
Ramon Jansana and Umberto RivieccioPriestley duality for (modal) N4-lattices105-108
Gejza JenčaEffect algebras, witness pairs and observables109-112
Peter JipsenBasic Logic, SMT solvers and finitely generated varieties of GBL-algebras113-119
Achim Jung and Umberto RivieccioFour-valued modal logic: Kripke semantics and duality120-124
Tomasz KowalskiRelevant logic and relation algebras125-128
Tomas KroupaMV-Algebraic Moebius Transform on the Vietoris Space129-132
David KrumlOpen projections do not form a right residuated lattice133-135
Andrey KudinovDerivational modal logic of real line with difference modality136-139
Jan Kühr and Michal BoturOn (finite) distributive lattices with antitone involutions140
Antonio Ledda, Tomasz Kowalski, Francesco Paoli and Antonino SalibraBoolean like algebras141-144
Robert Lubarsky and Fred RichmanWalker's Cancellation Theorem145-147
Vincenzo Marra, Daniel Mcneill and Andrea PedriniSpectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1148-152
Vincenzo Marra, Daniel Mcneill and Andrea PedriniSpectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2153-157
Larry Moss, Jayampathy Ratnayake and Robert RoseFractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra158-162
Alexei MuravitskyOn modal components of the S4-logics163-166
Celestin Lele and Jean Bernard NganouChang-Mundici construction of an enveloping unital lattice-group of a BL-algebra167-170
Jorge Picado and Javier Gutierrez GarciaVariants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions171-175
Sylvia PulmannovaEffect algebras with state operator176-178
Claudette Robinson and Willem ConradieAn analogue of Bull's theorem for Hybrid Logic179-182
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodriguez and Jonas RoggerA Finite Model Property for Gödel Modal Logics183-186
Anna Romanowska and Jonathan SmithEntropic Hopf algebras187-190
Majid Alizadeh, Mohammad Ardeshir and Wim RuitenburgA new Glivenko Theorem191-194
Denis I. SavelievOn the modal logic of the iterated Cantor derivative and finitary operations on topological spaces195-198
Ilya Shapirovsky and Valentin ShehtmanTensor products of modal logics199-203
Dmitry SkvortsovOn the constant domains principle and its weakened versions in the Kripke sheaf semantics204-207
Radek ŠlesingerGeneralizing the concept of quantum triads208-210
Sergejs SolovjovsOn fuzzification of topological categories211-212
Luca SpadaA general framework for geometric dualities for varieties of algebras213-216
William YoungReducts and Modal Operators on Residuated Lattices217-220
Dongsheng Zhao and Xi XiaoyongDcpo models of T1 spaces221-224


8mv algebra
4effect algebra, finite model property
3modal logic, residuated lattice
2c* algebra, compact hausdorff space, finite embeddability property, intuitionistic logic, lattice ordered abelian group, lukasiewicz logic, modal mu calculus, mv effect algebra, n4 lattices, paraconsistent nelson logic, residuated lattices, spectral space, stone duality, stone type dualities, strong order unit, twist structures, vector lattice
1abelian 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, 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, 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, entropic algebra, equationally definable principal relative congruences, esakia duality, extended order algebras, extremally disconnected frame, farkas lemma, final coalgebra, finite axiomatization, 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, 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, locale, logical invariance, macneille completion, many valued modal logic, medial algebra, metric space, modal logics, modal product, module, moebius transform, monadic algebra, monoid, monotone and antitone functions, monotonicity calculus, 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, 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, right residuated lattice, sahlqvist correspondence, sahlvist theory, scattered spaces, semicontinuous real function, semilattice, semilattices, sober space, specker algebra, state, stone dualities, 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, two level syntax, typed lambda calculus, ultraproduct, universal algebra, universal topology, variety with ternary deductive term, visser logic, well partially ordered sets, witness map, zero continuous real function