Abstracts of TACL 2017 invited talks
Alexandru Baltag
Towards a Topological Theory of Knowledge, Inquiry and Correlations
Martín Escardó The
frame of Scott continuous nuclei on a preframe
Mai Gehrke Stone
duality in the theory of formal languages
Bart Jacobs
Introduction to Effectus Theory
Greg Restall A
Concrete Category of Classical Proofs
Alexandra Silva
(Co)algebraic foundations of automata learning
Luca Spada
Geometric aspects of MV-algebras
Steve Vickers
Sketches for arithmetic universes as generalized spaces
Abstracts of TACL 2017 contributed talks
Ramon Antoine, Francesc Perera and Hannes Thiel
Completeness and cocompleteness of the category of Cuntz semigroups
Ramon Antoine, Francesc Perera and Hannes Thiel
The Cuntz semigroup and the category Cu
Ramon Antoine, Francesc Perera and Hannes Thiel
Tensor products 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
Sergio Ardanza-Trevijano, Maria Jesus Chasco and Jorge Elorza
Properties of the annihilator of fuzzy subgroups
Nega Arega and Van Den Berg John
Topologizing filters on rings of frictions RS^-1 and congruence
relation on FilR
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, Kristina Brantley and Julia Ilin
Arithmetic interpretation of the monadic fragment of intuitionistic
predicate logic and Casari’s formula
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi and
Mamuka Jibladze The
Variety of Nuclear Implicative Semilattices is Locally Finite
Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos
Tzimoulis and Nachoem Wijnberg
The logic of resources and capabilities
Marta Bílková, Alexander Kurz and Bruno Teheux
Modal extensions of Ln-valued logics, coalgebraically
Stefano Bonzio, Andrea Loi and Luisa Peruzzi
A 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 HSP_U(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
Agata Ciabattoni and Revantha Ramanayake
Bunched Hypersequent Calculi for Distributive Substructural Logics and
Extensions of Bunched Implication Logic
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
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
Maria João Gouveia and Luigi Santocanale
aleph_1, omega_1, and the modal mu-calculus
Giuseppe Greco, Peter Jipsen, Fei Liang and Alessandra Palmigiano
Modular proof theory for axiomatic extensions and expansions of lattice
logic
Giuseppe Greco, Fei Liang, Andrew Moshier and Alessandra Palmigiano
A proper Multi-type
display calculus for Semi De Morgan Logic
Giuseppe Greco, Andrew Moshier, Alessandra Palmigiano and Apostolos
Tzimoulis First-order
logic properly displayed
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
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
Frederik Lauridsen Intermediate
logics admitting structural hypersequent calculi
Tomáš Lávička and Carles Noguera
Infinitary propositional logics and subdirect representation
Tomáš Lávička and Adam Přenosil
Antistructural completeness in propositional logics
Zhe Lin and Minghui Ma On
the Complexity of the Equational Theory of Generalized Residuated
Boolean Algebras
Tadeusz Litak Algebraic
generalizations of completeness and canonicity
Tadeusz Litak The
periodic sequence property
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
Anuj Kumar More and Mohua Banerjee
Algebras from a Quasitopos of Rough Sets
Michael Andrew Moshier and Alexander Kurz
Duality for Relations on Ordered Algebras
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
Luca Reggio Quantifiers
on languages and codensity monads
Carla Reis Compact
Enriched Categories
Laurent De Rudder Gelfand
duality for compact pospaces
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
Laura Janina Schnüriger Axiomatizing
a Reflexive Real-valued Modal Logic
Igor Sedlár 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
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
Amanda Vidal 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