On the formalization of semantic conventions

DOI10.2307/2274964zbMath0723.03003OpenAlexW2043669035MaRDI QIDQ3211280

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

quantificationsemanticsSkolem functionsformalizationdereferencing operatorsquote operatorssyntactic constructs

Mathematics Subject Classification ID

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

Cites Work

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

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