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.


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

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

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Williams, James G. On the Formalization of Semantic Conventions. J. Symbolic Logic 55 (1990), no. 1, 220--243.

Export citation