Axiomatization of a Denotational Semantics for First-order Logic

DOI10.1093/JIGPAL/12.4.277MaRDI QIDQ4659577zbMATH OpenOpenAlexFDO

Authors C. F. M. Vermeulen

Publication date 21 March 2005

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

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

zbMATH Keywords

axiomatizationdeclarative programmingdenotational semanticsfirst-order logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696787
• Axiomatization of typed first-order logic
• scientific article; zbMATH DE number 3963803
• Logical semantics for the first order -calculus.
• Axiomatizing first-order consequences in dependence logic
• scientific article; zbMATH DE number 4045109
• Axiomatization of a functional logic language
• Axiomatizing fixpoint logics
• Semantics for first-order superposition logic
• scientific article; zbMATH DE number 1696797

Cited in

(9)

• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• scientific article; zbMATH DE number 6379368 (Why is no real title available?)
• Semantics Out of Context
• Axiomatizing first-order consequences in dependence logic
• scientific article; zbMATH DE number 1984522 (Why is no real title available?)
• scientific article; zbMATH DE number 1441841 (Why is no real title available?)
• Logic Programming
• Computer Science Logic
• Processes, Terms and Cycles: Steps on the Road to Infinity

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

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