A Legacy Recalled and a Tradition Continued

  • Authors:

  • Dolph Ulrich

  • Affiliations:

  • Department of Philosophy, Purdue University, West Lafayette, IN 47907-1360, U.S.A. e-mail: dulrich@purdue.edu

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Since the first presentation of classical sentential logic as an iaxiomatic system by Frege in 1879, the study of a variety of sentential calculi has flourished. One major area of investigation, initiated by Łukasiewicz and his colleagues in the first half of the twentieth century and carried into the second half by Meredith, Thomas, Prior, et al., focuses on alternative axiom sets for such logics, and on formal proofs within them. This paper recalls a sampling of the results obtained heretofore, noting along the way how the papers in this special issue of the iJournal of Automated Reasoning fit into that larger tradition of which they now form a part. It also suggests a number of further questions, open problems, and projects to which the methods developed in these papers seem ideally suited and might well be fruitfully applied.