On the formalization of semantic conventions

DOI10.2307/2274964zbMATH Open0723.03003OpenAlexW2043669035MaRDI QIDQ3211280FDOQ3211280

Authors: James G. Williams 

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274964

Recommendations

• scientific article; zbMATH DE number 3978369
• Publication:4896257
• scientific article; zbMATH DE number 1368929
• scientific article; zbMATH DE number 408807
• Formal methods in computer technologies

zbMATH Keywords

quantificationsemanticsformalizationSkolem functionsdereferencing operatorsquote operatorssyntactic constructs

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Initial Algebra Semantics and Continuous Algebras
• Set theory. An introduction to independence proofs. 2nd print
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• A new implementation technique for applicative languages
• Creative definitions in propositional calculi

Cited In (1)

• How to Nominalize Formalism†

This page was built for publication: On the formalization of semantic conventions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3211280)