TACL 2013: Author Index

AuthorPapers
A
Alizadeh, MajidA new Glivenko Theorem
Ardeshir, MohammadA new Glivenko Theorem
Awodey, SteveScheme representation for first-order logic
General Topos Semantics for Higher-Order Modal Logic
B
Ball, RichardTruncated Vector Lattices
Banaschewski, BernhardStrong 0-dimensionality in Pointfree Topology
Bezhanishvili, GuramFunayama's theorem revisited
Topological completeness of extensions of S4
Idempotent generated algebras and Boolean powers of commutative rings
Bezhanishvili, NickCanonical formulas via locally finite reducts and generalized dualities
Botur, MichalAn elementary proof of the completeness of the Lukasiewicz axioms
Botur, MichalOn (finite) distributive lattices with antitone involutions
Breiner, SpencerScheme representation for first-order logic
C
Cabrer, Leonardo ManuelCoproducts of Distributive Lattice based Algebras
Caicedo, XavierA Finite Model Property for Gödel Modal Logics
Cardona, RiquelmiThe finite embeddability property for some noncommutative knotted extensions of FL
Celani, Sergio ArturoSpectral-like duality for Distributive Hilbert Algebras with Infimum
Cintula, PetrTwo-layer modal logics: from fuzzy logics to a general framework
Citkin, AlexJankov Formula and Ternary Deductive Term
Conradie, WillemAlgorithmic 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, AntonioProjectivity and unification in the varieties of locally finite monadic MV-algebras
Dzik, WojciechAlmost structural completeness; an algebraic approach
E
Ehsani, AmirRepresentation of the Medial-Like Algebras
Esteban, MaríaSpectral-like duality for Distributive Hilbert Algebras with Infimum
F
Fomatati, YvesAlgorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Fortier, JérômeCuts for circular proofs
G
Gabelaia, DavidFunayama's theorem revisited
Topological completeness of extensions of S4
Galatos, NikolaosCayley and Holland Theorems for Residuated Lattices
Ghilardi, SilvioFrom free algebras to proof bounds
Gil-Férez, JoséLaterally complete and projective hulls of semilinear residuated lattices
Goudsmit, JeroenA Syntactic Characterization of the Gabbay-de Jongh Logics
Greco, GiuseppeDynamic sequent calculus for the logic of Epistemic Actions and Knowledge
Grigolia, RevazProjectivity and unification in the varieties of locally finite monadic MV-algebras
Guido, CosimoRelational groupoids and residuated lattices
Gutierrez Garcia, JavierVariants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions
H
Horcik, RostislavResiduated Lattices, Regular Languages, and Burnside Problem
Cayley and Holland Theorems for Residuated Lattices
I
Icard, ThomasA 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, RamonSpectral-like duality for Distributive Hilbert Algebras with Infimum
Priestley duality for (modal) N4-lattices
Jenča, GejzaEffect algebras, witness pairs and observables
Jibladze, MamukaFunayama's theorem revisited
Jipsen, PeterBasic Logic, SMT solvers and finitely generated varieties of GBL-algebras
Jung, AchimFour-valued modal logic: Kripke semantics and duality
K
Kishida, KoheiGeneral Topos Semantics for Higher-Order Modal Logic
Kotzsch, Hans-ChristophGeneral Topos Semantics for Higher-Order Modal Logic
Kowalski, TomaszRelevant logic and relation algebras
Boolean like algebras
Kroupa, TomasMV-Algebraic Moebius Transform on the Vietoris Space
Kruml, DavidOpen projections do not form a right residuated lattice
Kudinov, AndreyDerivational modal logic of real line with difference modality
Kurz, AlexanderDynamic sequent calculus for the logic of Epistemic Actions and Knowledge
Kühr, JanOn (finite) distributive lattices with antitone involutions
L
Ledda, AntonioLaterally complete and projective hulls of semilinear residuated lattices
Boolean like algebras
Lele, CelestinChang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
Lenzi, GiacomoProjectivity and unification in the varieties of locally finite monadic MV-algebras
Lubarsky, RobertWalker's Cancellation Theorem
Lucero-Bryan, JoelTopological completeness of extensions of S4
M
Marra, VincenzoIdempotent 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, DanielSpectra 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, GeorgeProof 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, LarryA Complete Calculus of Monotone and Antitone Higher-Order Functions
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
Muravitsky, AlexeiOn modal components of the S4-logics
N
Nganou, Jean BernardChang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
Noguera, CarlesTwo-layer modal logics: from fuzzy logics to a general framework
O
Olberding, BruceIdempotent generated algebras and Boolean powers of commutative rings
P
Palmigiano, AlessandraAlgorithmic 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, FrancescoBoolean like algebras
Paseka, JanAn elementary proof of the completeness of the Lukasiewicz axioms
Pedrini, AndreaSpectra 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, JorgeVariants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions
Priestley, HilaryCoproducts of Distributive Lattice based Algebras
Pulmannova, SylviaEffect algebras with state operator
R
Ratnayake, JayampathyFractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
Richman, FredWalker's Cancellation Theorem
Riecanova, ZdenkaExtensions of ordering sets of states from effect algebras onto their MacNeille completions
Rivieccio, UmbertoPriestley duality for (modal) N4-lattices
Four-valued modal logic: Kripke semantics and duality
Robinson, ClaudetteAn analogue of Bull's theorem for Hybrid Logic
Rodriguez, Ricardo OscarA Finite Model Property for Gödel Modal Logics
Rogger, JonasA Finite Model Property for Gödel Modal Logics
Romanowska, AnnaEntropic Hopf algebras
Rose, RobertFractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra
Ruitenburg, WimA new Glivenko Theorem
S
Salibra, AntoninoBoolean like algebras
Santocanale, LuigiCuts for circular proofs
Saveliev, Denis I.On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces
Shapirovsky, IlyaTensor products of modal logics
Shehtman, ValentinTensor products of modal logics
Simpson, AlexConditional Independence in Categories
Skvortsov, DmitryOn the constant domains principle and its weakened versions in the Kripke sheaf semantics
Smith, JonathanEntropic Hopf algebras
Solovjovs, SergejsOn fuzzification of topological categories
Sourabh, SumitAlgorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Spada, LucaA general framework for geometric dualities for varieties of algebras
Stronkowski, MichalAlmost structural completeness; an algebraic approach
T
Tsinakis, ConstantineLaterally complete and projective hulls of semilinear residuated lattices
X
Xiaoyong, XiDcpo models of T<sub>1</sub> spaces
Y
Young, WilliamReducts and Modal Operators on Residuated Lattices
Z
Zhao, DongshengDcpo models of T<sub>1</sub> spaces
Š
Šlesinger, RadekGeneralizing the concept of quantum triads