Fragments of 1st-Order Logic, I: Universal Horn Logic

Author(s)

George F. McNulty, University of South Carolina - ColumbiaFollow

Document Type

Article

Subject Area(s)

Mathematics

Publication Info

Published in Journal of Symbolic Logic, Volume 42, Issue 2, 1977, pages 221-237.

Rights

© Journal of Symbolic Logic 1977, Association for Symbolic Logic

McNulty, G. F. (1977). Fragments of First Order Logic, I: Universal Horn Logic. The Journal Of Symbolic Logic, 42(2), 221-237. doi: 10.2307/2272123