Circularity in soundness and completeness

DOI10.1017/BSL.2013.4MaRDI QIDQ2925322zbMATH OpenOpenAlexFDO

Authors Richard Kaye

Publication date 21 October 2014

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://pure-oai.bham.ac.uk/ws/files/17786512/download.pdf

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Recommendations

• Logical consequence and first-order soundness and completeness: a bottom up approach
• Solovay-type theorems for circular definitions
• Soundness and completeness of the cirquent calculus system CL6 for computability logic
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Completeness: from Gödel to Henkin

Cites work

• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• Infinite Abelian groups, Whitehead problem and some constructions
• Saving truth from paradox
• Subsystems of second order arithmetic

Cited in

(1)

• Logical consequence and first-order soundness and completeness: a bottom up approach

This page was built for publication: Circularity in soundness and completeness

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