Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 55, Issue 1 (1990), 220-243.
On the Formalization of Semantic Conventions
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.
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. https://projecteuclid.org/euclid.jsl/1183743195