Marcelo F. Frias
3 artykuły w 1 czasopismach
-
Equational reasoning in non-classical logics Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 1 / s. 2 - 111997CZYSTY TEKST
Marcelo F. Frias, Ewa Orłowska, Equational reasoning in non-classical logics, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 1, s. 2 - 11
BIBTEX@Article{ authors = " Marcelo F. Frias, Ewa Orłowska", title = "Equational reasoning in non-classical logics", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 1", pages = "2 - 11" }
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 751995CZYSTY TEKST
Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, Fork algebras are representable, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 64 - 75
BIBTEX@Article{ authors = " Gabriel A. Baum, Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso", title = "Fork algebras are representable", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "64 - 75" }
-
A finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 2001995CZYSTY TEKST
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso, A finite axiomatization for fork algebras, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 193 - 200
BIBTEX@Article{ authors = " Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso", title = "A finite axiomatization for fork algebras", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "193 - 200" }