Ramon Antoine, Francesc Perera and Hannes Thiel. Tensor products of Cuntz semigroups
Ramon Antoine, Francesc Perera and Hannes Thiel. The Cuntz semigroup and the category Cu
Ramon Antoine, Francesc Perera and Hannes Thiel. Completeness and cocompleteness of the category of Cuntz semigroups
Hisashi Aratake. Bicategory of Theories as an Approach to Model Theory
Vasileios Aravantinos-Sotiropoulos and Panagis Karazeris. Definability and conceptual completeness for regular logic
Peter Arndt, Ramon Jansana Ferrer, Hugo Luiz Mariano and Darllan Pinto. Filter pairs: A new way of presenting logics
Francisco Avila. The Frame of the p-Adic Numbers and a p-Adic Version of the Stone-Weierstrass Theorem in Pointfree Topology
Matthias Baaz and Anela Lolic. First-order interpolation from propositional interpolation: a proof theoretic approach on a semantic basis
Guillermo Badia. Types and models in core fuzzy predicate logics
Adriana Balan. A multi-valued framework for coalgebraic logics over generalised metric spaces
Philippe Balbiani and Tatyana Ivanova. Extended Contact Logic
Michele Pra Baldi and Stefano Bonzio. Undefinability of Standard Sequent Calculi for 3-valued Paraconsistent Logics
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi and Mamuka Jibladze. The Variety of Nuclear Implicative Semilattices is Locally Finite
Guram Bezhanishvili, Kristina Brantley and Julia Ilin. Arithmetic interpretation of the monadic fragment of intuitionistic predicate logic and Casari’s formula
Marta Bilkova, Alexander Kurz and Bruno Teheux. Modal extensions of Ln-valued logics, coalgebraically
Marta Bilkova, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis and Nachoem Wijnberg. The logic of resources and capabilities
Stefano Bonzio, Andrea Loi and Luisa Peruzzi. A natural duality for involutive bisemilattices
William Javier Zuluaga Botero and Jose Luis Castiglioni. Finite MTL-algebras
Michal Botur and Martin Broušek. A new characterization of a class $\mathrm{HSP_U}(\mathcal K)$
Luca Carai and Silvio Ghilardi. Existentially Closed Brouwerian Semilattices
Imanol Mozo Carollo, Andrew Moshier and Joanne Walter-Waylands. An approach to subspaces of d-frames and an Isbell-type density theorem
Nega Chere and Van Den Berg John. Topologizing filters on rings of frictions RS^-1 and congruence relation on FilR
Agata Ciabattoni and Revantha Ramanayake. Bunched Hypersequent Calculi for Distributive Substructural Logics and Extensions of Bunched Implication Logic
Janis Cirulis. Towards a logic of functional dependences
Alex Citkin. Projective WS5-Algebra
Maria Manuel Clementino. Exponentiability in quantale-enriched categories
Almudena Colacito and George Metcalfe. An Ordering Condition for Groups
Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics
Willem Conradie, Wilmari Morton and Claudette Robinson. Filtrations for many-valued modal logic with applications
Willem Conradie, Alessandra Palmigiano and Zhiguang Zhao. Sahlqvist via Translation
Willem Conradie and Claudette Robinson. On intuitionistic hybrid logics
Insa Cremer. Reduced Rickart rings and skew nearlattices
Fredrik Dahlqvist and Alexander Kurz. Positive Coalgebraic Logic
Mustafa Demirci. On Two Approaches to Concrete Dualities and Their Relationships
Wojciech Dzik and Piotr Wojtylak. Unification in first-order logics: superintuitionistic and modal
Mehdi Ebrahimi and Mahdieh Yavari. Quasi injectivity of partially ordered acts
Tommaso Flaminio, Lluis Godo and Sara Ugolini. States of free product algebras and their integral representation
Sabine Frittella, Giuseppe Greco, Michele Piazzai, Nachoem Wijnberg and Fan Yang. Matthew effects via dependence and independence logic
Wesley Fussner. Twist Products and Dualities
Jeannine Gabriëls, Stephen Gagola and Mirko Navara. Sasaki projections and related operations
Nick Galatos and Peter Jipsen. Generalized bunched implication algebras
Nick Galatos and Peter Jipsen. Classical and intuitionistic relation algebras
José David García. Many-Valued Arrow Logic with Scalar Product Operations
Silvio Ghilardi, Maria João Gouveia and Luigi Santocanale. Fixed point elimination in the Intuitionistic Propositional Calculus
Giuseppe Greco, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis. First-order logic properly displayed
Giuseppe Greco, Alessandra Palmigiano, Fei Liang and Peter Jipsen. Modular proof theory for axiomatic extensions and expansions of lattice logic
Giuseppe Greco, Alessandra Palmigiano and Fan Yang. Proper multi-type display calculi for classical and intuitionistic inquisitive logic
Revaz Grigolia, Antonio Di Nola and Giacomo Lenzi. Topological Spaces of monadic MV-algebras
Gianluca Grilletti. Disjunction and Existence Property in Inquisitive Logic
Rafal Gruszczynski and Giangiacomo Gerla. Two systems of point-free affine geometry
Gonçalo Gutierres. The open "sets" in Approach spaces
Tuomas Hakoniemi. A polynomial translation from classical propositional logic into orthomodular logic
Georges Hansoul and Julien Raskin. A Duality for Boolean Contact Algebras
John Harding, Carol Walker and Elbert Walker. The convolution algebra
Takuma Imamura. Analogies between small scale topology and large scale topology from the nonstandard perspective
Tatyana Ivanova. Logics for extended distributive contact lattices
Tomáš Jakl. A Vietoris functor for bispaces and d-frames
Gejza Jenča. Effect algebras as colimits of finite Boolean algebras
Sándor Jenei. Structure Theorem for a Class of Group-like Residuated Chains à la Hahn
Gavin St. John. Undecidability of {*,1,∨}-equations in subvarieties of commutative residuated lattices
Tatsuji Kawai. Lawson Topology as the Space of Located Subsets
Stanislav Kikot, Agi Kurucz, Frank Wolter and Michael Zakharyaschev. Alt_n in a Strictly Positive Context
Michiro Kondo. Multiplicative derivations of commutative residuated lattices
Sławomir Kost. Rooted frames for fusions of multimodal logics
Zofia Kostrzycka. On interpolation in NEXT(KTB) and NEXT(KB)
Tomasz Kowalski. A simple restricted Priestley duality for bounded distributive lattices with order-inverting operation
Tomas Kroupa and Vincenzo Marra. The Free Algebra in a Two-sorted Variety of State Algebras
Alex Kruckman. First-order cologic for profinite structures
Małgorzata Kruszelnicka. Yes/No Formulae as a Description of Theories of Intuitionistic Kripke Models
Wieslaw Kubis. Weak Fraisse categories and their limits
Andrey Kudinov. Neighborhood-Kripke product of modal logics
Evgeny Kuznetsov. Exponentiability in Stone Spaces and Priestley Spaces
Michael Lambert. Wild Algebras in Cartesian Categorical Logic
Serafina Lapenta, Antonio Di Nola and Ioana Leustean. Deepening the link between logic and functional analysis via Riesz MV-algebras
Tomas Lavicka and Adam Prenosil. Antistructural completeness in propositional logics
Tomáš Lávička and Carles Noguera. Infinitary propositional logics and subdirect representation
Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. A proper Multi-type display calculus for Semi De Morgan Logic
Zhe Lin and Minghui Ma. On the Complexity of the Equational Theory of Generalized Residuated Boolean Algebras
Tadeusz Litak. The periodic sequence property
Tadeusz Litak. Algebraic generalizations of completeness and canonicity
Frederik Lauridsen. Intermediate logics admitting structural hypersequent calculi
Minghui Ma and Yuanlei Lin. A Constructive Four-Valued Logic
Mojgan Mahmoudi and M. Mehdi Ebrahimi. Injectivity of (Naturally) Ordered Projection Algebras
Samuele Maschio and Giovanni Sambin. Topology as faithful communication through relations
Guillaume Massas. Semi-constructive Versions of the Rasiowa-Sikorski Lemma and Possibility Semantics for Intuitionistic Logic
Gholamreza Moghaddasi and Nasrin Sarvghad. Prime injective S-acts
Patrick Morandi, Guram Bezhanishvili and Bruce Olberding. Canonical extensions of archimedean vector lattices with strong order unit
Tommaso Moraschini. The computational complexity of the Leibniz hierarchy
Tommaso Moraschini and Ramon Jansana. Unifying the Leibniz and Maltsev hierarchies
Tommaso Moraschini, James Raftery and Jamie Wannenburg. Varieties of De Morgan Monoids I: Minimality and Irreducible Algebras
Tommaso Moraschini, James Raftery and Jamie Wannenburg. Varieties of De Morgan Monoids II: Covers of Atoms
Michael Andrew Moshier and Alexander Kurz. Duality for Relations on Ordered Algebras
Anuj Kumar More and Mohua Banerjee. Algebras from a Quasitopos of Rough Sets
Jan Paseka and Radek Šlesinger. Q-sup-algebras and their representation
Jorge Picado. Sublocales and a Boolean extension of a frame
Sylvia Pulmannova. A Loomis-Sikorski theorem and functional calculus for a generalized Hermitian algebra
Carla Reis. Compact Enriched Categories
Luca Reggio. Quantifiers on languages and codensity monads
Laurent De Rudder. Gelfand duality for compact pospaces
Luigi Santocanale and Maria João Gouveia. aleph_1, omega_1, and the modal mu-calculus
Luigi Santocanale. Theories of relational lattices
Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations
Igor Sedlar. Bimodal bilattice logic
Ilya Shapirovsky. Locally tabular polymodal logics
Valentin Shehtman and Dmitry Skvortsov. On Kripke completeness of modal and superintuitionistic predicate logics with equality
Laura Janina Schnüriger. Axiomatizing a Reflexive Real-valued Modal Logic
Vijay D' Silva, Alessandra Palmigiano, Apostolos Tzimoulis and Caterina Urban. A proof-theoretic approach to abstract interpretation
Jonathan Smith and Anna Romanowska. Diagrammatic duality
Michal Stronkowski. Admissibility for universal classes and multi-conclusion consequence relations
Isar Stubbe. Topology from enrichment: the curious case of partial metrics
Christopher Taylor. Expansions of Heyting algebras
Sergio Ardanza-Trevijano, Maria Jesus Chasco and Jorge Elorza. Properties of the annihilator of fuzzy subgroups
Amanda Vidal Wandelmer. Modal logics over finite residuated lattices
Meenakshi Wasadikar. Some properties of zero divisor graphs of lattices
Kentaro Yamamoto and Zhiguang Zhao. Algorithmic Correspondence, Canonicity and Completeness for Possibility Semantics
Eunsuk Yang. Standard completeness for mianorm-based logics with n-contraction, n-mingle, and n-potency axioms
Zhiguang Zhao. ALBA-style Sahlqvist preservation for modal compact Hausdorff spaces