Abstract is missing.
- Strong 0-dimensionality in Pointfree TopologyBernhard Banaschewski. 1 [doi]
- Canonical formulas via locally finite reducts and generalized dualitiesNick Bezhanishvili. 2-3 [doi]
- Coproducts of Distributive Lattice based AlgebrasLeonardo Manuel Cabrer, Hilary A. Priestley. 4 [doi]
- From free algebras to proof boundsSilvio Ghilardi. 5 [doi]
- Residuated Lattices, Regular Languages, and Burnside ProblemRostislav Horcík. 6-7 [doi]
- Proof theory for lattice-ordered groupsGeorge Metcalfe. 8 [doi]
- Conditional Independence in CategoriesAlex Simpson. 9 [doi]
- Scheme representation for first-order logicSteve Awodey, Spencer Breiner. 10-13 [doi]
- General Topos Semantics for Higher-Order Modal LogicSteve Awodey, Kohei Kishida, Hans-Christoph Kotzsch. 14-16 [doi]
- Truncated Vector LatticesRichard Ball. 17-21 [doi]
- Funayama's theorem revisitedGuram Bezhanishvili, David Gabelaia, Mamuka Jibladze. 22-26 [doi]
- Topological completeness of extensions of S4Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan. 27-30 [doi]
- Idempotent generated algebras and Boolean powers of commutative ringsGuram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding. 31-34 [doi]
- An elementary proof of the completeness of the Lukasiewicz axiomsMichal Botur, Jan Paseka. 35-38 [doi]
- The finite embeddability property for some noncommutative knotted extensions of FLRiquelmi Cardona. 39-42 [doi]
- Two-layer modal logics: from fuzzy logics to a general frameworkPetr Cintula, Carles Noguera. 43-47 [doi]
- Jankov Formula and Ternary Deductive TermAlex Citkin. 48-51 [doi]
- Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh. 52-56 [doi]
- Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh. 57-60 [doi]
- Almost structural completeness; an algebraic approachWojciech Dzik, Michal M. Stronkowski. 61-63 [doi]
- Representation of the Medial-Like AlgebrasAmir Ehsani. 64-67 [doi]
- Spectral-like duality for Distributive Hilbert Algebras with InfimumSergio A. Celani, María Esteban, Ramon Jansana. 68-71 [doi]
- Cuts for circular proofsJérôme Fortier, Luigi Santocanale. 72-75 [doi]
- Cayley and Holland Theorems for Residuated LatticesNikolaos Galatos, Rostislav Horcík. 76-79 [doi]
- Laterally complete and projective hulls of semilinear residuated latticesJosé Gil-Férez, Antonio Ledda, Constantine Tsinakis. 80-81 [doi]
- A Syntactic Characterization of the Gabbay-de Jongh LogicsJeroen P. Goudsmit. 82-84 [doi]
- Dynamic sequent calculus for the logic of Epistemic Actions and KnowledgeGiuseppe Greco, Alexander Kurz, Alessandra Palmigiano. 85-87 [doi]
- Projectivity and unification in the varieties of locally finite monadic MV-algebrasAntonio di Nola, Revaz Grigolia, Giacomo Lenzi. 88-91 [doi]
- Relational groupoids and residuated latticesCosimo Guido. 92-95 [doi]
- A Complete Calculus of Monotone and Antitone Higher-Order FunctionsThomas Icard, Lawrence Moss. 96-100 [doi]
- Extensions of ordering sets of states from effect algebras onto their MacNeille completionsJirí Janda, Zdenka Riecanová. 101-104 [doi]
- Priestley duality for (modal) N4-latticesRamon Jansana, Umberto Rivieccio. 105-108 [doi]
- Effect algebras, witness pairs and observablesGejza Jenca. 109-112 [doi]
- Basic Logic, SMT solvers and finitely generated varieties of GBL-algebrasPeter Jipsen. 113-119 [doi]
- Four-valued modal logic: Kripke semantics and dualityAchim Jung, Umberto Rivieccio. 120-124 [doi]
- Relevant logic and relation algebrasTomasz Kowalski. 125-128 [doi]
- MV-Algebraic Moebius Transform on the Vietoris SpaceTomás Kroupa. 129-132 [doi]
- Open projections do not form a right residuated latticeDavid Kruml. 133-135 [doi]
- Derivational modal logic of real line with difference modalityAndrey Kudinov. 136-139 [doi]
- On (finite) distributive lattices with antitone involutionsJan Kühr, Michal Botur. 140 [doi]
- Boolean like algebrasAntonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra. 141-144 [doi]
- Walker's Cancellation TheoremRobert S. Lubarsky, Fred Richman. 145-147 [doi]
- Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1Vincenzo Marra, Daniel McNeill, Andrea Pedrini. 148-152 [doi]
- Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2Vincenzo Marra, Daniel McNeill, Andrea Pedrini. 153-157 [doi]
- Fractal Sets as Final Coalgebras Obtained by Completing an Initial AlgebraLarry Moss, Jayampathy Ratnayake, Robert Rose. 158-162 [doi]
- On modal components of the S4-logicsAlexei Y. Muravitsky. 163-166 [doi]
- Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebraCelestin Lele, Jean Bernard Nganou. 167-170 [doi]
- Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functionsJorge Picado, Javier Gutiérrez García. 171-175 [doi]
- Effect algebras with state operatorSilvia Pulmannová. 176-178 [doi]
- An analogue of Bull's theorem for Hybrid LogicClaudette Robinson, Willem Conradie. 179-182 [doi]
- A Finite Model Property for Gödel Modal LogicsXavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger. 183-186 [doi]
- Entropic Hopf algebrasAnna B. Romanowska, Jonathan D. H. Smith. 187-190 [doi]
- A new Glivenko TheoremMajid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg. 191-194 [doi]
- On the modal logic of the iterated Cantor derivative and finitary operations on topological spacesDenis I. Saveliev. 195-198 [doi]
- Tensor products of modal logicsIlya Shapirovskiy, Valentin Shehtman. 199-203 [doi]
- On the constant domains principle and its weakened versions in the Kripke sheaf semanticsDmitry P. Skvortsov. 204-207 [doi]
- Generalizing the concept of quantum triadsRadek Slesinger. 208-210 [doi]
- On fuzzification of topological categoriesSergejs Solovjovs. 211-212 [doi]
- A general framework for geometric dualities for varieties of algebrasLuca Spada. 213-216 [doi]
- Reducts and Modal Operators on Residuated LatticesWilliam Young. 217-220 [doi]
- 1 spacesDongsheng Zhao, Xiaoyong Xi. 221-224 [doi]