Search results for "quasivariety"

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