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