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