TACL 2013 Volume Information TACL 2013 Volume InformationPapersAuthors  Title  Pages  PDF 

Bernhard Banaschewski  Strong 0dimensionality in Pointfree Topology  1   Nick Bezhanishvili  Canonical formulas via locally finite reducts and generalized dualities  23   Leonardo Manuel Cabrer and Hilary Priestley  Coproducts of Distributive Lattice based Algebras  4   Silvio Ghilardi  From free algebras to proof bounds  5   Rostislav Horcik  Residuated Lattices, Regular Languages, and Burnside Problem  67   George Metcalfe  Proof theory for latticeordered groups  8   Alex Simpson  Conditional Independence in Categories  9   Steve Awodey and Spencer Breiner  Scheme representation for firstorder logic  1013   Steve Awodey, Kohei Kishida and HansChristoph Kotzsch  General Topos Semantics for HigherOrder Modal Logic  1416   Richard Ball  Truncated Vector Lattices  1721   Guram Bezhanishvili, David Gabelaia and Mamuka Jibladze  Funayama's theorem revisited  2226   Guram Bezhanishvili, David Gabelaia and Joel LuceroBryan  Topological completeness of extensions of S4  2730   Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi and Bruce Olberding  Idempotent generated algebras and Boolean powers of commutative rings  3134   Michal Botur and Jan Paseka  An elementary proof of the completeness of the Lukasiewicz axioms  3538   Riquelmi Cardona  The finite embeddability property for some noncommutative knotted extensions of FL  3942   Petr Cintula and Carles Noguera  Twolayer modal logics: from fuzzy logics to a general framework  4347   Alex Citkin  Jankov Formula and Ternary Deductive Term  4851   Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh  Algorithmic correspondence for intuitionistic modal mucalculus, Part 1  5256   Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh  Algorithmic correspondence for intuitionistic modal mucalculus, Part 2  5760   Wojciech Dzik and Michal Stronkowski  Almost structural completeness; an algebraic approach  6163   Amir Ehsani  Representation of the MedialLike Algebras  6467   Sergio Arturo Celani, María Esteban and Ramon Jansana  Spectrallike duality for Distributive Hilbert Algebras with Infimum  6871   Jérôme Fortier and Luigi Santocanale  Cuts for circular proofs  7275   Nikolaos Galatos and Rostislav Horcik  Cayley and Holland Theorems for Residuated Lattices  7679   José GilFérez, Antonio Ledda and Constantine Tsinakis  Laterally complete and projective hulls of semilinear residuated lattices  8081   Jeroen Goudsmit  A Syntactic Characterization of the Gabbayde Jongh Logics  8284   Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano  Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge  8587   Antonio Di Nola, Revaz Grigolia and Giacomo Lenzi  Projectivity and unification in the varieties of locally finite monadic MValgebras  8891   Cosimo Guido  Relational groupoids and residuated lattices  9295   Thomas Icard and Larry Moss  A Complete Calculus of Monotone and Antitone HigherOrder Functions  96100   Jiří Janda and Zdenka Riecanova  Extensions of ordering sets of states from effect algebras onto their MacNeille completions  101104   Ramon Jansana and Umberto Rivieccio  Priestley duality for (modal) N4lattices  105108   Gejza Jenča  Effect algebras, witness pairs and observables  109112   Peter Jipsen  Basic Logic, SMT solvers and finitely generated varieties of GBLalgebras  113119   Achim Jung and Umberto Rivieccio  Fourvalued modal logic: Kripke semantics and duality  120124   Tomasz Kowalski  Relevant logic and relation algebras  125128   Tomas Kroupa  MVAlgebraic Moebius Transform on the Vietoris Space  129132   David Kruml  Open projections do not form a right residuated lattice  133135   Andrey Kudinov  Derivational modal logic of real line with difference modality  136139   Jan Kühr and Michal Botur  On (finite) distributive lattices with antitone involutions  140   Antonio Ledda, Tomasz Kowalski, Francesco Paoli and Antonino Salibra  Boolean like algebras  141144   Robert Lubarsky and Fred Richman  Walker's Cancellation Theorem  145147   Vincenzo Marra, Daniel Mcneill and Andrea Pedrini  Spectra of finitely presented latticeordered Abelian groups and MValgebras, part 1  148152   Vincenzo Marra, Daniel Mcneill and Andrea Pedrini  Spectra of finitely presented latticeordered Abelian groups and MValgebras, part 2  153157   Larry Moss, Jayampathy Ratnayake and Robert Rose  Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra  158162   Alexei Muravitsky  On modal components of the S4logics  163166   Celestin Lele and Jean Bernard Nganou  ChangMundici construction of an enveloping unital latticegroup of a BLalgebra  167170   Jorge Picado and Javier Gutierrez Garcia  Variants of normality and their duals: a pointfree unification of insertion and extension theorems for realvalued functions  171175   Sylvia Pulmannova  Effect algebras with state operator  176178   Claudette Robinson and Willem Conradie  An analogue of Bull's theorem for Hybrid Logic  179182   Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodriguez and Jonas Rogger  A Finite Model Property for Gödel Modal Logics  183186   Anna Romanowska and Jonathan Smith  Entropic Hopf algebras  187190   Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg  A new Glivenko Theorem  191194   Denis I. Saveliev  On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces  195198   Ilya Shapirovsky and Valentin Shehtman  Tensor products of modal logics  199203   Dmitry Skvortsov  On the constant domains principle and its weakened versions in the Kripke sheaf semantics  204207   Radek Šlesinger  Generalizing the concept of quantum triads  208210   Sergejs Solovjovs  On fuzzification of topological categories  211212   Luca Spada  A general framework for geometric dualities for varieties of algebras  213216   William Young  Reducts and Modal Operators on Residuated Lattices  217220   Dongsheng Zhao and Xi Xiaoyong  Dcpo models of T<sub>1</sub> spaces  221224  
KeyphrasesCount  Keyphrase 

8  mv algebra  4  effect algebra, finite model property  3  modal logic, residuated lattice  2  c* 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  1  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, 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 
