On the formalization of semantic conventions

DOI10.2307/2274964MaRDI QIDQ3211280zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• A new implementation technique for applicative languages
• Creative definitions in propositional calculi
• 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

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)