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
