Axiomatization of a Denotational Semantics for First-order Logic

DOI10.1093/jigpal/12.4.277zbMath1062.03026OpenAlexW1978034886MaRDI QIDQ4659577

C. F. M. Vermeulen

Publication date: 21 March 2005

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

Full work available at URL: https://doi.org/10.1093/jigpal/12.4.277

zbMATH Keywords

first-order logicdenotational semanticsaxiomatizationdeclarative programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Classical first-order logic (03B10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Axiomatization of a Denotational Semantics for First-order Logic