Journal of Symbolic Logic 55 (1):220-243 (1990)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Creative Definitions in Propositional Calculi.V. Frederick Rickey - 1975 - Notre Dame Journal of Formal Logic 16 (2):273-294.
Citations of this work BETA
No citations found.
Similar books and articles
Fine-Tuning and the Infrared Bull's-Eye.John Roberts - 2012 - Philosophical Studies 160 (2):287-303.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
What's Right with a Syntactic Approach to Theories and Models?Sebastian Lutz - 2014 - Erkenntnis (S8):1-18.
Dialektik Und Formalisierung.Lorenz B. Puntel - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (2):367-383.
Towards Automated Reasoning on ORM Schemes - Mapping ORM Into the DLRidf Description Logic.Mustafa Jarrar - manuscript
Added to index2009-01-28
Total downloads13 ( #355,454 of 2,172,602 )
Recent downloads (6 months)1 ( #325,029 of 2,172,602 )
How can I increase my downloads?