Inexpressiveness of First-Order Fragments

  • William C. Purdy Department of Electrical Engineering and Computer Science, Syracuse University, Syracuse, NY, USA

Abstract

It is well-known that first-order logic is semi-decidable. Therefore, first-order logic is less than ideal for computational purposes (computer science, knowledge engineering). Certain fragments of first-order logic are of interest because they are decidable. But decidability is gained at the cost of expressiveness. The objective of this paper is to investigate inexpressiveness of fragments that have received much attention.

Author Biography

William C. Purdy, Department of Electrical Engineering and Computer Science, Syracuse University, Syracuse, NY, USA
Published
2006-01-25
How to Cite
PURDY, William C.. Inexpressiveness of First-Order Fragments. The Australasian Journal of Logic, [S.l.], v. 4, jan. 2006. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1777>. Date accessed: 18 july 2019. doi: https://doi.org/10.26686/ajl.v4i0.1777.