TACL

Keyphrases

Publications

volume 25, 2014

TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013 TACL 25 (2014)

2013

Sergejs Solovjovs
On fuzzification of topological categories. TACL (2013)
Rostislav Horcík
Residuated Lattices, Regular Languages, and Burnside Problem. TACL (2013)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. TACL (2013)
Celestin Lele, Jean Bernard Nganou
Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra. TACL (2013)
Silvio Ghilardi
From free algebras to proof bounds. TACL (2013)
Leonardo Manuel Cabrer, Hilary A. Priestley
Coproducts of Distributive Lattice based Algebras. TACL (2013)
Jan Kühr, Michal Botur
On (finite) distributive lattices with antitone involutions. TACL (2013)
Peter Jipsen
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. TACL (2013)
George Metcalfe
Proof theory for lattice-ordered groups. TACL (2013)
Steve Awodey, Spencer Breiner
Scheme representation for first-order logic. TACL (2013)
Alex Citkin
Jankov Formula and Ternary Deductive Term. TACL (2013)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. TACL (2013)
Nikolaos Galatos, Rostislav Horcík
Cayley and Holland Theorems for Residuated Lattices. TACL (2013)
Tomás Kroupa
MV-Algebraic Moebius Transform on the Vietoris Space. TACL (2013)
Luca Spada
A general framework for geometric dualities for varieties of algebras. TACL (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL (2013)
Jeroen P. Goudsmit
A Syntactic Characterization of the Gabbay-de Jongh Logics. TACL (2013)
Radek Slesinger
Generalizing the concept of quantum triads. TACL (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL (2013)
Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch
General Topos Semantics for Higher-Order Modal Logic. TACL (2013)
Dmitry P. Skvortsov
On the constant domains principle and its weakened versions in the Kripke sheaf semantics. TACL (2013)
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
Funayama's theorem revisited. TACL (2013)
Richard Ball
Truncated Vector Lattices. TACL (2013)
Jérôme Fortier, Luigi Santocanale
Cuts for circular proofs. TACL (2013)
Riquelmi Cardona
The finite embeddability property for some noncommutative knotted extensions of FL. TACL (2013)
Achim Jung, Umberto Rivieccio
Four-valued modal logic: Kripke semantics and duality. TACL (2013)
Alexei Y. Muravitsky
On modal components of the S4-logics. TACL (2013)
Dongsheng Zhao, Xiaoyong Xi
spaces. TACL (2013)
Claudette Robinson, Willem Conradie
An analogue of Bull's theorem for Hybrid Logic. TACL (2013)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. TACL (2013)
Petr Cintula, Carles Noguera
Two-layer modal logics: from fuzzy logics to a general framework. TACL (2013)
Gejza Jenca
Effect algebras, witness pairs and observables. TACL (2013)
William Young
Reducts and Modal Operators on Residuated Lattices. TACL (2013)
Denis I. Saveliev
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces. TACL (2013)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Projectivity and unification in the varieties of locally finite monadic MV-algebras. TACL (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL (2013)
Jirí Janda, Zdenka Riecanová
Extensions of ordering sets of states from effect algebras onto their MacNeille completions. TACL (2013)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological completeness of extensions of S4. TACL (2013)
David Kruml
Open projections do not form a right residuated lattice. TACL (2013)
Bernhard Banaschewski
Strong 0-dimensionality in Pointfree Topology. TACL (2013)
Amir Ehsani
Representation of the Medial-Like Algebras. TACL (2013)
Cosimo Guido
Relational groupoids and residuated lattices. TACL (2013)
Thomas Icard, Lawrence S. Moss
A Complete Calculus of Monotone and Antitone Higher-Order Functions. TACL (2013)
Jorge Picado, Javier Gutiérrez García
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions. TACL (2013)
Michal Botur, Jan Paseka
An elementary proof of the completeness of the Lukasiewicz axioms. TACL (2013)
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. TACL (2013)
Ramon Jansana, Umberto Rivieccio
Priestley duality for (modal) N4-lattices. TACL (2013)
Ilya Shapirovsky, Valentin B. Shehtman
Tensor products of modal logics. TACL (2013)
Anna B. Romanowska, Jonathan D. H. Smith
Entropic Hopf algebras. TACL (2013)