Axiomatization of a Denotational Semantics for First-order Logic

DOI10.1093/jigpal/12.4.277zbMath1062.03026MaRDI 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 logic; denotational semantics; axiomatization; declarative programming

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03B10: Classical first-order logic

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)