Wyniki
-
A finitary relational algebra for classical first-order logic
Paulo A.S. Veloso, Armando M. Haeberer
Bulletin of the Section of Logic , 20 /2 (1991) s. 52-62 -
A finite axiomatization for fork algebras
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /4 (1995) s. 193-200 -
Fork algebras are representable
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /2 (1995) s. 64-75