| 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  |
TACL  |
2014 |
DBLP BibTeX RDF |
|
| 1 | Michal Botur, Jan Paseka |
An elementary proof of the completeness of the Lukasiewicz axioms. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Ehsani |
Representation of the Medial-Like Algebras. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | William Young |
Reducts and Modal Operators on Residuated Lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Radek Slesinger |
Generalizing the concept of quantum triads. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze |
Funayama's theorem revisited. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon Jansana, Umberto Rivieccio |
Priestley duality for (modal) N4-lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudette Robinson, Willem Conradie |
An analogue of Bull's theorem for Hybrid Logic. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Kroupa |
MV-Algebraic Moebius Transform on the Vietoris Space. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Janda, Zdenka Riecanová |
Extensions of ordering sets of states from effect algebras onto their MacNeille completions. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kühr, Michal Botur |
On (finite) distributive lattices with antitone involutions. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jipsen |
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Ball |
Truncated Vector Lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Shapirovsky, Valentin B. Shehtman |
Tensor products of modal logics. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Y. Muravitsky |
On modal components of the S4-logics. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Dzik, Michal M. Stronkowski |
Almost structural completeness; an algebraic approach. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi |
From free algebras to proof bounds. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh |
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Kruml |
Open projections do not form a right residuated lattice. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergejs Solovjovs |
On fuzzification of topological categories. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Icard, Lawrence S. Moss |
A Complete Calculus of Monotone and Antitone Higher-Order Functions. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch |
General Topos Semantics for Higher-Order Modal Logic. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry P. Skvortsov |
On the constant domains principle and its weakened versions in the Kripke sheaf semantics. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Awodey, Spencer Breiner |
Scheme representation for first-order logic. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Fortier, Luigi Santocanale |
Cuts for circular proofs. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Riquelmi Cardona |
The finite embeddability property for some noncommutative knotted extensions of FL. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Carles Noguera |
Two-layer modal logics: from fuzzy logics to a general framework. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna B. Romanowska, Jonathan D. H. Smith |
Entropic Hopf algebras. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Jung, Umberto Rivieccio |
Four-valued modal logic: Kripke semantics and duality. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Citkin |
Jankov Formula and Ternary Deductive Term. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongsheng Zhao, Xiaoyong Xi |
Dcpo models of T1 spaces. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Galatos, Rostislav Horcík |
Cayley and Holland Theorems for Residuated Lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gejza Jenca |
Effect algebras, witness pairs and observables. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rostislav Horcík |
Residuated Lattices, Regular Languages, and Burnside Problem. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis I. Saveliev |
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Spada |
A general framework for geometric dualities for varieties of algebras. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Manuel Cabrer, Hilary A. Priestley |
Coproducts of Distributive Lattice based Algebras. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan |
Topological completeness of extensions of S4. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen P. Goudsmit |
A Syntactic Characterization of the Gabbay-de Jongh Logics. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Banaschewski |
Strong 0-dimensionality in Pointfree Topology. |
TACL |
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. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Guido |
Relational groupoids and residuated lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh |
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | George Metcalfe |
Proof theory for lattice-ordered groups. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Ledda, Tomasz Kowalski, Francesco Paoli, Antonino Salibra |
Boolean like algebras. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding |
Idempotent generated algebras and Boolean powers of commutative rings. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Simpson |
Conditional Independence in Categories. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg |
A new Glivenko Theorem. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert S. Lubarsky, Fred Richman |
Walker's Cancellation Theorem. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Pulmannová |
Effect algebras with state operator. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | José Gil-Férez, Antonio Ledda, Constantine Tsinakis |
Laterally complete and projective hulls of semilinear residuated lattices. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Kudinov |
Derivational modal logic of real line with difference modality. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Larry Moss, Jayampathy Ratnayake, Robert Rose |
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kowalski |
Relevant logic and relation algebras. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili |
Canonical formulas via locally finite reducts and generalized dualities. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani, María Esteban, Ramon Jansana |
Spectral-like duality for Distributive Hilbert Algebras with Infimum. |
TACL |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license