Search results for "quasi-varieties"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Hans-Jürgen Hoehnke	Quasi-varieties: A special access.	Stud Logica	2004	DBLP DOI BibTeX RDF	Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
54	Hernando Gaitán, Milton H. Perea	A non-finitely based quasi-variety of De Morgan algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	De Morgan algebra, finitely based quasi-variety, lattice of sub-quasi-varieties
35	Clifford Bergman, Giora Slutzki	Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras.	SIAM J. Comput.	2000	DBLP DOI BibTeX RDF
33	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
27	Brian A. Davey, Miroslav Haviar	Applications of Priestley duality in transferring optimal dualities.	Stud Logica	2004	DBLP DOI BibTeX RDF	Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment
26	Klaus Denecke, S. Radelecki, Ch. Ratanaprasert	On Constantive Simple and Order-Primal Algebras.	Order	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 08B05, 06A11, 06A06
21	Tommaso Moraschini	A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
21	Razvan Diaconescu	Quasi-varieties and initial semantics for hybridized institutions.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
21	Razvan Diaconescu	On quasi-varieties of multiple valued logic models.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
21	Michael Barr, Maria-Cristina Pedicchio	Topological spaces and quasi-varieties.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
21	Bradd Hart, Sergei Starchenko	Superstable Quasi-Varieties.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
21	Stephen L. Bloom, Zoltán Ésik	Some Quasi-Varieties of Iteration Theories.	MFPS	1993	DBLP DOI BibTeX RDF
21	Andrzej Tarlecki	Quasi-varieties in Abstract Algebraic Institutions.	J. Comput. Syst. Sci.	1986	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )