Search results for "quasivarieties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	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
92	Alexei Vernitski	Finite quasivarieties and self-referential conditions.	Stud Logica	2004	DBLP DOI BibTeX RDF	quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety
78	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
71	Jirí Adámek	On quasivarieties and varieties as categories.	Stud Logica	2004	DBLP DOI BibTeX RDF	regular generator, exact generator, pseudoequivalence, variety, quasivariety
57	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
51	Christian Dzierzon	On an Essentially Algebraic Theory for Locally Presentable Categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	locally presentable categories, essentially algebraic theories, quasivarieties, partial algebras
49	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
49	Ana Helena Roque	Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	prevariety, structures for a first order language and generalizations, regular epimorphisms, (effective) descent morphisms, variety
49	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
49	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
29	Xavier Caicedo	Implicit connectives of algebraizable logics.	Stud Logica	2004	DBLP DOI BibTeX RDF	implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics
28	Paolo Aglianò	Quasivarieties of Wajsberg hoops.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
28	Hernán Javier San Martín	On Relative Principal Congruences in Term Quasivarieties.	Stud Logica	2022	DBLP DOI BibTeX RDF
28	Tim Koussas	Semigroup quasivarieties: Two lattices and a reopened problem.	Int. J. Algebra Comput.	2021	DBLP DOI BibTeX RDF
28	Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg	Singly generated quasivarieties and residuated structures.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
28	Diego Vaggione	Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
28	Alexander Kurz 0001, Jirí Velebil	Quasivarieties and varieties of ordered algebras: regularity and exactness.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
28	Joan Gispert	Least V-quasivarieties of MV-algebras.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
28	Clint J. van Alten	Prelinear Algebras in Relatively Regular Quasivarieties.	Order	2013	DBLP DOI BibTeX RDF
28	Anvar M. Nurakunov, Michal M. Stronkowski	Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited.	Stud Logica	2013	DBLP DOI BibTeX RDF
28	George Metcalfe, Christoph Röthlisberger	Admissibility in Finitely Generated Quasivarieties	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
28	Anvar M. Nurakunov	Unreasonable Lattices of quasivarieties.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
28	Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela	Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.	Stud Logica	2011	DBLP DOI BibTeX RDF
28	Antonio Ledda, Tomasz Kowalski, Francesco Paoli	On Certain Quasivarieties of Quasi-MV Algebras.	Stud Logica	2011	DBLP DOI BibTeX RDF
28	Alexej P. Pynko	Subquasivarieties of implicative locally-finite quasivarieties.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
28	Willem J. Blok, James G. Raftery	Assertionally Equivalent quasivarieties.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
28	Keith A. Kearnes	Quasivarieties of Modules Over Path Algebras of Quivers.	Stud Logica	2006	DBLP DOI BibTeX RDF	quiver, path algebra, Quasivariety, distributive lattice
28	Katarzyna Matczak, Anna B. Romanowska	Irregular Quasivarieties of Commutative Binary Modes.	Int. J. Algebra Comput.	2005	DBLP DOI BibTeX RDF
28	M. E. Adams, Wieslaw Dziobiak	Quasivarieties of Idempotent Semigroups.	Int. J. Algebra Comput.	2003	DBLP DOI BibTeX RDF
28	G. D. Barbour, James G. Raftery	Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.	Stud Logica	2003	DBLP DOI BibTeX RDF
28	Keith A. Kearnes	Categorical Quasivarieties via Morita Equivalence.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
28	Katarzyna Palasinska	Sequent Calculi and Quasivarieties.	Reports Math. Log.	2000	DBLP BibTeX RDF
28	Katarzyna Idziak	Counting Quasivarieties of Equivalential Algebras.	Reports Math. Log.	2000	DBLP BibTeX RDF
28	Joan Gispert, Antoni Torrens	Quasivarieties Generated by Simple MV-algebras.	Stud Logica	1998	DBLP DOI BibTeX RDF
28	M. E. Adams, Wieslaw Dziobiak	Joins of minimal quasivarieties.	Stud Logica	1995	DBLP DOI BibTeX RDF
28	Katarzyna Idziak	Quasivarieties of Equivalential Algebras.	Reports Math. Log.	1995	DBLP BibTeX RDF
28	M. E. Adams, Wieslaw Dziobiak	Quasivarieties of distributive lattices with a quantifier.	Discret. Math.	1994	DBLP DOI BibTeX RDF
28	Willem J. Blok, Wieslaw Dziobiak	On the lattice of quasivarieties of Sugihara algebras.	Stud Logica	1986	DBLP DOI BibTeX RDF
21	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
21	George Voutsadakis	Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary: 18C15, 03G99, Secondary: 08C05, 68N30, 08B05
21	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
21	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