TACL 2013: Author IndexAuthor | 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 |
|
|