Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality

Pilar Dellunde, Ramon Jansana. Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. Journal of Symbolic Logic, 61(4):1242-1260, 1996.

Abstract

Abstract is missing.