Circularity in soundness and completeness

DOI10.1017/BSL.2013.4zbMATH Open1341.03011OpenAlexW2317184677MaRDI QIDQ2925322FDOQ2925322

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

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

Mathematics Subject Classification ID

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

Cites Work

• Saving truth from paradox
• Title not available (Why is that?)
• Subsystems of second order arithmetic
• Infinite Abelian groups, Whitehead problem and some constructions

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)