The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Quasivariety with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-2004 (15) 2005-2016 (12)
Publication types (Num. hits)
article(26) inproceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 27 keywords

Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
61Václav Koubek, Jirí Sichler Almost ff-universality Implies Q-universality. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 08C15, 18B15
61Anvar M. Nurakunov, Michal M. Stronkowski Quasivarieties with Definable Relative Principal Subcongruences. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 2000 Mathematics Subject Classification 08C15, 08B10, 08A30
61Karl Auinger, Gracinda M. S. Gomes, Victoria Gould, Benjamin Steinberg An application of a Theorem of Ash to finite covers. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF weakly left quasi-ample semigroup, proper cover
59Wieslaw Dziobiak, A. V. Kravchenko, Piotr J. Wojciechowski Equivalents for a Quasivariety to be Generated by a Single Structure. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 2000 Mathematics Subject Classification 03G99, 08C15
45Antoni Torrens An Approach to Glivenko's Theorem in Algebraizable Logics. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Glivenko’s Theorem, equivalential deductive system, compatible expansion, algebraic semantics, quasivariety, algebraizable logic
45Alexander Budkin Dominions in quasivarieties of universal algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dominion, free amalgamated product, lattice, group, universal algebra, Quasivariety, amalgam
45Václav Koubek, Jirí Sichler On relative universality and Q-universality. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributive double p-algebra, Q-universality, relative universality, endomorphism monoid, variety, quasivariety
45M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko Open questions related to the problem of Birkhoff and Maltsev. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Q-lattice, join-semidistributive, Q-universality, independent basis, graph, Quasivariety
40Milan Matousek, Pavel Pták Orthocomplemented Posets with a Symmetric Difference. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06C15, 03G12, 81B10
39Ramon Jansana On the Deductive System of the Order of an Equationally Orderable Quasivariety. Search on Bibsonomy Stud Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
39Clint J. van Alten, James G. Raftery On Quasivariety Semantics of Fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. Search on Bibsonomy Reports Math. Log. The full citation details ... 1997 DBLP  BibTeX  RDF
39Marek Palasinski No non-trivial quasivariety of BCK-algebras has decidable first order theory. Search on Bibsonomy Stud Logica The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Keith A. Kearnes Quasivarieties of Modules Over Path Algebras of Quivers. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quiver, path algebra, Quasivariety, distributive lattice
25Kira V. Adaricheva, V. A. Gorbunov On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF algebraic subsets, Lattice, quasivariety, quasi-order
25Janusz Czelakowski, Don Pigozzi Fregean logics with the multiterm deduction theorem and their algebraization. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equivalential logic, self-extensional logic, Leibniz congruence, deduction theorem, quasivariety, algebraizable logic, abstract algebraic logic, protoalgebraic logic
25Jirí Adámek On quasivarieties and varieties as categories. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF regular generator, exact generator, pseudoequivalence, variety, quasivariety
25Peter Burmeister Algebraic theory of quasivarieties of heterogeneous partial algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety
25Alexei Vernitski Finite quasivarieties and self-referential conditions. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety
20Manuel Abad, J. Patricio Díaz Varela Factor congruences in BCK -algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
20Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna Basic Hoops: an Algebraic Study of Continuous t -norms. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basic hoops, continuous t-norms, subreducts of BL-algebras
20Dmitry E. Palchunov Lattices of Relatively Axiomatizable Classes. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF axiomatizable class, relatively axiomatizable class, lattice
20Richard N. Ball, Ales Pultr, Jirí Sichler Configurations in Coproducts of Priestley Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Priestley space, ultrafilter, coproduct, distributive lattice
20Franco Montagna, Luca Spada Continuous approximations of product implication in MV-algebras with product. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-algebras, MV-algebras
20Georgi D. Dimov, Maria-Cristina Pedicchio, Gino Tironi Frames and Grids. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF localic topological system, sober spaces, T 1-frames, coreflective subcategories, grids, dualities, frames
20Katarzyna Matczak, Anna B. Romanowska Quasivarieties of cancellative commutative binary modes. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
20Willem J. Blok, James G. Raftery Fragments of R-Mingle. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Sugihara algebra, mingle, fragment, RM, relevance logic
20Xavier Caicedo Implicit connectives of algebraizable logics. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license