Inexpressiveness of First-Order Fragments

Authors

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

DOI:

https://doi.org/10.26686/ajl.v4i0.1777

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.

Downloads

Download data is not yet available.

Author Biography

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

Downloads

Published

2006-01-25