TACL 2013: Author Index

Author	Papers
A
Alizadeh, Majid	A new Glivenko Theorem
Ardeshir, Mohammad	A new Glivenko Theorem
Awodey, Steve	Scheme representation for first-order logic General Topos Semantics for Higher-Order Modal Logic
B
Ball, Richard	Truncated Vector Lattices
Banaschewski, Bernhard	Strong 0-dimensionality 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 first-order 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	Spectral-like duality for Distributive Hilbert Algebras with Infimum
Cintula, Petr	Two-layer modal logics: from fuzzy logics to a general framework
Citkin, Alex	Jankov Formula and Ternary Deductive Term
Conradie, Willem	Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 Algorithmic correspondence for intuitionistic modal mu-calculus, 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 MV-algebras
Dzik, Wojciech	Almost structural completeness; an algebraic approach
E
Ehsani, Amir	Representation of the Medial-Like Algebras
Esteban, María	Spectral-like duality for Distributive Hilbert Algebras with Infimum
F
Fomatati, Yves	Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1 Algorithmic correspondence for intuitionistic modal mu-calculus, 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
Gil-Férez, José	Laterally complete and projective hulls of semilinear residuated lattices
Goudsmit, Jeroen	A Syntactic Characterization of the Gabbay-de 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 MV-algebras
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 real-valued 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 Higher-Order Functions
J
Janda, Jiří	Extensions of ordering sets of states from effect algebras onto their MacNeille completions
Jansana, Ramon	Spectral-like duality for Distributive Hilbert Algebras with Infimum Priestley duality for (modal) N4-lattices
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 GBL-algebras
Jung, Achim	Four-valued modal logic: Kripke semantics and duality
K
Kishida, Kohei	General Topos Semantics for Higher-Order Modal Logic
Kotzsch, Hans-Christoph	General Topos Semantics for Higher-Order Modal Logic
Kowalski, Tomasz	Relevant logic and relation algebras Boolean like algebras
Kroupa, Tomas	MV-Algebraic 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	Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
Lenzi, Giacomo	Projectivity and unification in the varieties of locally finite monadic MV-algebras
Lubarsky, Robert	Walker's Cancellation Theorem
Lucero-Bryan, Joel	Topological completeness of extensions of S4
M
Marra, Vincenzo	Idempotent generated algebras and Boolean powers of commutative rings Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1 Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2
Mcneill, Daniel	Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1 Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2
Metcalfe, George	Proof theory for lattice-ordered 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 Higher-Order Functions Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
Muravitsky, Alexei	On modal components of the S4-logics
N
Nganou, Jean Bernard	Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
Noguera, Carles	Two-layer 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 mu-calculus, Part 1 Algorithmic correspondence for intuitionistic modal mu-calculus, 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 lattice-ordered Abelian groups and MV-algebras, part 1 Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2
Picado, Jorge	Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued 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) N4-lattices Four-valued 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 mu-calculus, Part 1 Algorithmic correspondence for intuitionistic modal mu-calculus, 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