1
TITLE: Varieties of Regular Pseudocomplemented de Morgan Algebras  Full Text
AUTHORS: Adams, ME; Sankappanavar, HP; Julia Vaz de Carvalho ;
PUBLISHED: 2020, SOURCE: ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, VOLUME: 37, ISSUE: 3
INDEXED IN: Scopus WOS
2
TITLE: REGULAR DOUBLE p-ALGEBRAS  Full Text
AUTHORS: Adams, ME; Hanamantagouda P Sankappanavar; Julia Vaz de Carvalho ;
PUBLISHED: 2019, SOURCE: MATHEMATICA SLOVACA, VOLUME: 69, ISSUE: 1
INDEXED IN: WOS
3
TITLE: Congruence properties of pseudocomplemented De Morgan algebras. Pseudocomplemented De Morgan algebras  Full Text
AUTHORS: Hanamantagouda P Sankappanavar; Julia Vaz de Carvalho ;
PUBLISHED: 2014, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 60, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 1
4
TITLE: On the Variety of m-generalized Lukasiewicz Algebras of Order n  Full Text
AUTHORS: Julia Vaz de Carvalho ;
PUBLISHED: 2010, SOURCE: STUDIA LOGICA, VOLUME: 94, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
5
TITLE: On the varieties P2m,0 of Ockham algebras
AUTHORS: Varlet, JC; Vaz de Carvalho, J ;
PUBLISHED: 2002, SOURCE: Bulletin de la Societe Royale des Sciences de Liege, VOLUME: 71, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
6
TITLE: A generalization of the Łukasiewicz algebras
AUTHORS: Almada, T; Vaz De Carvalho, J ;
PUBLISHED: 2001, SOURCE: Studia Logica, VOLUME: 69, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
7
TITLE: Equational bases for varieties of Ockham algebras  Full Text
AUTHORS: Varlet, JC; de Carvalho, JV ;
PUBLISHED: 2000, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 44, ISSUE: 3-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Axioms in the variety of double MS-algebras II
AUTHORS: Varlet, JC; Vaz De Carvalho, J ;
PUBLISHED: 1997, SOURCE: Bulletin de la Societe Royale des Sciences de Liege, VOLUME: 66, ISSUE: 6
INDEXED IN: Scopus
9
TITLE: Principal congruences on distributive double p-algebras
AUTHORS: deCarvalho, JV ;
PUBLISHED: 1996, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 39, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID