Marcelo F. Frias
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Equational reasoning in non-classical logics Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 1 / s. 2 - 11ROK: 1997CZYSTY TEKSTBIBTEX
-
Fork algebras are representable Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 64 - 75ROK: 1995CZYSTY TEKSTBIBTEX
-
A finite axiomatization for fork algebras Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 193 - 200ROK: 1995CZYSTY TEKSTBIBTEX