TACL 2013: Author IndexAuthor  Papers 

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

