Journal of Symbolic Logic

On the Formalization of Semantic Conventions

James G. Williams

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them. We show that certain techniques (among the six) subsume others. To illustrate sharpness, we also consider a selection of constructs and show which techniques can and cannot be used to introduce them. The six studied techniques were selected on the basis of actual practice in logic and computing. They do not form an exhaustive list.

Article information

Source
J. Symbolic Logic, Volume 55, Issue 1 (1990), 220-243.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183743195

Mathematical Reviews number (MathSciNet)
MR1043554

Zentralblatt MATH identifier
0723.03003

JSTOR
links.jstor.org

Citation

Williams, James G. On the Formalization of Semantic Conventions. J. Symbolic Logic 55 (1990), no. 1, 220--243. https://projecteuclid.org/euclid.jsl/1183743195


Export citation