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

DOI10.1215/00294527-2010-038zbMath1233.03008OpenAlexW2080936746MaRDI QIDQ628805

Eli Dresner

Publication date: 7 March 2011

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-038

zbMATH Keywords

completenessfirst-order logicsoundnessmeasurement theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

This page was built for publication: Logical consequence and first-order soundness and completeness: a bottom up approach