default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTACL 2013: Nashville, Tennessee, USA
- Nikolaos Galatos, Alexander Kurz, Constantine Tsinakis:
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013. EPiC Series in Computing 25, EasyChair 2014 - Bernhard Banaschewski:
Strong 0-dimensionality in Pointfree Topology. 1 - Nick Bezhanishvili:
Canonical formulas via locally finite reducts and generalized dualities. 2-3 - Leonardo Manuel Cabrer, Hilary A. Priestley:
Coproducts of Distributive Lattice based Algebras. 4 - Silvio Ghilardi:
From free algebras to proof bounds. 5 - Rostislav Horcík:
Residuated Lattices, Regular Languages, and Burnside Problem. 6-7 - George Metcalfe:
Proof theory for lattice-ordered groups. 8 - Alex Simpson:
Conditional Independence in Categories. 9 - Steve Awodey, Spencer Breiner:
Scheme representation for first-order logic. 10-13 - Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch:
General Topos Semantics for Higher-Order Modal Logic. 14-16 - Richard Ball:
Truncated Vector Lattices. 17-21 - Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze:
Funayama's theorem revisited. 22-26 - Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan:
Topological completeness of extensions of S4. 27-30 - Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding:
Idempotent generated algebras and Boolean powers of commutative rings. 31-34 - Michal Botur, Jan Paseka:
An elementary proof of the completeness of the Lukasiewicz axioms. 35-38 - Riquelmi Cardona:
The finite embeddability property for some noncommutative knotted extensions of FL. 39-42 - Petr Cintula, Carles Noguera
:
Two-layer modal logics: from fuzzy logics to a general framework. 43-47 - Alex Citkin:
Jankov Formula and Ternary Deductive Term. 48-51 - Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. 52-56 - Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. 57-60 - Wojciech Dzik, Michal M. Stronkowski:
Almost structural completeness; an algebraic approach. 61-63 - Amir Ehsani:
Representation of the Medial-Like Algebras. 64-67 - Sergio A. Celani, María Esteban, Ramon Jansana:
Spectral-like duality for Distributive Hilbert Algebras with Infimum. 68-71 - Jérôme Fortier, Luigi Santocanale:
Cuts for circular proofs. 72-75 - Nikolaos Galatos, Rostislav Horcík:
Cayley and Holland Theorems for Residuated Lattices. 76-79 - José Gil-Férez, Antonio Ledda, Constantine Tsinakis:
Laterally complete and projective hulls of semilinear residuated lattices. 80-81 - Jeroen P. Goudsmit:
A Syntactic Characterization of the Gabbay-de Jongh Logics. 82-84 - Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano:
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. 85-87 - Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi:
Projectivity and unification in the varieties of locally finite monadic MV-algebras. 88-91 - Cosimo Guido:
Relational groupoids and residuated lattices. 92-95 - Thomas Icard, Lawrence S. Moss:
A Complete Calculus of Monotone and Antitone Higher-Order Functions. 96-100 - Jirí Janda, Zdenka Riecanová:
Extensions of ordering sets of states from effect algebras onto their MacNeille completions. 101-104 - Ramon Jansana, Umberto Rivieccio:
Priestley duality for (modal) N4-lattices. 105-108 - Gejza Jenca:
Effect algebras, witness pairs and observables. 109-112 - Peter Jipsen:
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. 113-119 - Achim Jung, Umberto Rivieccio:
Four-valued modal logic: Kripke semantics and duality. 120-124 - Tomasz Kowalski:
Relevant logic and relation algebras. 125-128 - Tomás Kroupa:
MV-Algebraic Moebius Transform on the Vietoris Space. 129-132 - David Kruml:
Open projections do not form a right residuated lattice. 133-135 - Andrey Kudinov:
Derivational modal logic of real line with difference modality. 136-139 - Jan Kühr, Michal Botur:
On (finite) distributive lattices with antitone involutions. 140 - Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra:
Boolean like algebras. 141-144 - Robert S. Lubarsky, Fred Richman:
Walker's Cancellation Theorem. 145-147 - Vincenzo Marra, Daniel McNeill, Andrea Pedrini:
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1. 148-152 - Vincenzo Marra, Daniel McNeill, Andrea Pedrini:
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2. 153-157 - Larry Moss, Jayampathy Ratnayake, Robert Rose:
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. 158-162 - Alexei Y. Muravitsky:
On modal components of the S4-logics. 163-166 - Célestin Lélé, Jean Bernard Nganou:
Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra. 167-170 - 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. 171-175 - Silvia Pulmannová:
Effect algebras with state operator. 176-178 - Claudette Robinson, Willem Conradie:
An analogue of Bull's theorem for Hybrid Logic. 179-182 - Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger:
A Finite Model Property for Gödel Modal Logics. 183-186 - Anna B. Romanowska, Jonathan D. H. Smith:
Entropic Hopf algebras. 187-190 - Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
A new Glivenko Theorem. 191-194 - Denis I. Saveliev:
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces. 195-198 - Ilya Shapirovsky, Valentin B. Shehtman:
Tensor products of modal logics. 199-203 - Dmitry P. Skvortsov:
On the constant domains principle and its weakened versions in the Kripke sheaf semantics. 204-207 - Radek Slesinger:
Generalizing the concept of quantum triads. 208-210 - Sergejs Solovjovs:
On fuzzification of topological categories. 211-212 - Luca Spada:
A general framework for geometric dualities for varieties of algebras. 213-216 - William Young:
Reducts and Modal Operators on Residuated Lattices. 217-220 - Dongsheng Zhao, Xiaoyong Xi:
Dcpo models of T1 spaces. 221-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
