Axiomatizability in Inclusive Equational Logic

Axiomatizability in Inclusive Equational Logic (1996)

by Grigore Rosu

Citations:

@MISC{Rosu96axiomatizabilityin,
    author = {Grigore Rosu},
    title = {Axiomatizability in Inclusive Equational Logic},
    year = {1996}
}

816	S.: Categories for the working mathematician - Lane - 1998
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
156	On the structure of abstract algebras - Birkhoff - 1935
46	Theory of Categories - Mitchell - 1965
37	Order Sorted Algebras - Goguen - 1978
22	Emil Căzănescu and Grigore Ros¸u. Weak inclusion systems - Virgil - 1997
22	Some fundamental algebraic tools for the semantics of computation, part I - Goguen, Burstall - 1984
14	Subcategories defined by implications - Banaschewski, Herrlich - 1976
14	Equational axiomatizability for coalgebra - Rosu - 2001
13	Completeness of category-based equational deduction - Diaconescu - 1995
9	Local equational logic - Cazanescu - 1993
7	Category-based modularization for equational logic programming - Diaconescu - 1996
7	Category-based constraint logic - Diaconescu
7	On notions of factorization systems and their applications to cone-injective subcategories. Periodica Mathematica Hungarica - Nemeti - 1982
4	Inclusion systems - Hilberdink - 1996
2	Axiomatizare în logica inclusivă - Ro¸su - 1996